Jennifer Horkoff

  • PhD Candidate
127

Publications

--

Readers

Research Interests

Requirements Modeling and Analysis

Followers (3)

  • Yi Li

    Yi Li University of Toronto

  • Gias Uddin

    Gias Uddin

  • Michalis Famelis

    Michalis Famelis

Following (1)

About

I am a Ph.D. candidate in the Software Engineering Lab at the Department of Computer Science in the University of Toronto. My supervisor is Prof. Eric Yu.

I expect to complete my Ph.D. studies in the summer of 2011.

http://www.cs.utoronto.ca/~jenhork/

Publications

Automated Goal Operationalisation based on Interpolation and SAT Solving

Degiovanni R, Alrajehy D, Aguirre N, Uchitely S

Proc. of ICSE'14 (2014)

  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Interactive Goal Model Analysis for Early Requirements Engineering

Horkoff J, Yu E

Requirements Engineering (accepted with minor revisions) (2014)

  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Change Propagation Due to Uncertainty Change

Salay R, Gorzny J, Chechik M

Proc. of FASE'13 (2013)

  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

MAV-Vis: A Notation for Model Uncertainty

Famelis M, Santosa S

Proc. of MiSE'13 (2013)

  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Managing requirements uncertainty with partial models

Salay R, Chechik M, Horkoff J, Sandro A

Requirements Engineering (2013)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.