Jennifer Horkoff PhD Candidate

Location
Toronto, Canada
Discipline
Computer and Information Science
Interests
Requirements Modeling and Analysis
more... less...

Followers (3)

  • Gias Uddin

    Gias Uddin

  • Michalis Famelis

    Michalis Famelis Department of Computer Science, University of Toronto

  • Yi Li

    Yi Li University of Toronto Department of Computer Science

Following (1)

  • Michalis Famelis

    Michalis Famelis Department of Computer Science, University of Toronto

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/
more... less...

Publications

Using Macromodels to Manage Collections of Related Models

Salay R, Mylopoulos J, Easterbrook S

Proc. of CaiSE'09 (2009)

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

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.

Towards a Methodology for Verifying Partial Model Refinements

Salay R, Chechik M, Gorzny J

Proc. of VOLT'12 (2012)

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

Kodkod: A Relational Model Finder

Torlak E, Jackson D

Proc. of TACAS'07 (2007)

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

A Modal Process Logic

Larsen K, Thomsen B

Proc. of LICS'88 (1988)

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

Synthesis of Partial Behaviour Models from Properties and Scenarios

Uchitel S, Brunet G, Chechik M

IEEE Transactions on Software Engineering (2009)

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

Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies

Goedicke M, Meyer T, Taentzer G

re (1999)

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

On Correct and Complete Strong Merging of Partial Behaviour Models

Fischbein D, Uchitel S

Proc. of FSE'08 (2008)

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

Supporting Automatic Model Inconsistency Fixing

Xiong Y, Hu Z, Zhao H, Song H, Takeichi M, Mei H

Proc. of ESEC/FSE'09 (2009)

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

Search Based Requirements Optimisation: Existing Work and Challenges

Zhang Y, Finkelstein A, Harman M

Proc. of REFSQ'08 (2008)

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

Making inconsistency respectable in software development

B. N, S. E, A. R

Journal of Systems and Software (2001)

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

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models

Egyed A, Letier E, Finkelstein A

Proc. of ASE'08 (2008)

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

Conservative Extensions, Interpretations between Theories and All That!

Maibaum T

Proc. of TAPSOFT'97 (1997)

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

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints

S. E, M. C

Proc. of ICSE'01 (2001)

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

Minimum Satisfiability and Its Applications

Li C, Zhu Z, Manyà F, Simon L

Proc. of IJCAI'11 (2011)

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

Merging Partial Behavioural Models

Uchitel S, Chechik M

Proc. of SIGSOFT FSE'04 (2004)

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

Weak Alphabet Merging of Partial Behaviour Models

Fischbein D, Brunet G, D'ippolito N, Chechik M, Uchitel S

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

Matching and Merging of Statecharts Specifications

Nejati S, Sabetzadeh M, Chechik M, Easterbrook S, Zave P

Proc. of ICSE'07 (2007)

  • -- 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.

Automated impact analysis of UML models

Briand L, Labiche Y, O'Sullivan L, Sówka M

Journal of Systems and Software (2006)

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

The Temporal Logic of Programs

Pnueli A

Proc. of Ann. Symp. on Foundations of Comp. Sci. (1977)

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

No Title

i* Wiki

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

Equation Solving Using Modal Transition Systems

Larsen K, Xinxin L

Proc. of LICS'90 (1990)

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

Difference and Union of Models

Alanen M, Porres I

Proc. of UML'03 (2003)

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

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Ehrig H, Ehrig K, Prange U, Taentzer G

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

Partial Models: Towards Modeling and Reasoning with Uncertainty

Famelis M, Chechik M, Salay R

Proc. of ICSE'12 (2012)

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

Detecting an]d Repairing Inconsistencies across Heterogeneous Models

Kolovos D, Paige R, Polack F

Proc. of ICSTVV'08 (2008)

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

Translating the Object Constraint Language into first-order predicate logic

Beckert B, Keller U, Schmitt P

Proc. of the Second Verification Workshop: VERIFY (2002)

  • -- 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.

Generalized model checking: Reasoning about partial state spaces

Bruns G, Godefroid P

CONCUR 2000—Concurrency Theory (2000)

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

Software Traceability: a Roadmap

Spanoudakis G, Zisman A

J. of Software Engineering and Knowledge (2005)

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

Weak Alphabet Merging of Partial Behaviour Models

Fischbein D, Brunet G, D'Ippolito N, Chechik M, Uchitel S

ACM TOSEM (2011)

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

Formalizing Cardinality-based Feature Models and Their Specialization

Czarnecki K, Helsen S, Eisenecker U

Software Process: Improvement and Practice (2005)

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

A Goal-Based Framework for Contextual Requirements Modeling and Analysis

Ali R, Dalpiaz F, Giorgini P

Requir. Eng. (2010)

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

Weaving Variability into Domain Metamodels

Morin B, Perrouin G, Lahire P, Barais O, Vanwormhoudt G, Jézéquel J

Model Driven Engineering Languages and Systems (2009)

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

Object Constraint Language OMG Available Specification Version 2.0

Object Management Group

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

Properties of Behavioural Model Merging

Brunet G, Chechik M, Uchitel S

Proceeedings of FM'06 (2006)

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

Incremental Resolution of Model Inconsistencies

Mens T, Straeten R

Proc. of WADT'06 (2007)

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

Modal Transition Systems: A Foundation for Three-Valued Program Analysis

Huth M, Jagadeesan R, Schmidt D

Proc. of ESOP'01 (2001)

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

DMTSs are closed Under Merge

Ben-David S, Chechik M, Uchitel S

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

Language Independent Refinement Using Partial Modeling

Salay R, Famelis M, Chechik M

Proc. of FASE'12 (2012)

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

A State-of-the-Art Survey on Software Merging

Mens T

IEEE Transactions on Software Engineering (2002)

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

Algebraic approaches to graph transformation. Part I: Basic concepts and double pushout approach

Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Lowe M

Handbook of graph grammars and computing by graph transformation (1997)

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

Inflo: Collaborative Reasoning via Open Calculation Graphs

Lung J, Easterbrook S

Proc. of CSCW'12 (2012)

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

The TXL Source Transformation Language

Cordy J

Sci. Comput. Program. (2006)

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

OpenOME, an open-source requirements engineering tool

  • -- 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)

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

Consistency Checking of Conceptual Models via Model Merging

Sabetzadeh M, Nejati S, Liaskos S, Easterbrook S, Chechik M

Proc. of RE'07 (2007)

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

Systems Design with the Socio-Technical Walkthrough

Herrmann T

Handbook of Research on Socio-Technical Design and Social Networking Systems (2009)

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

Merging Partial Behavioural Models

Uchitel S, Chechik M

Proc. of FSE'04 (2004)

  • -- 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.

Triple Graph Grammars or Triple Graph Transformation Systems?

Buchmann T, Dotor A, Westfechtel B

Proc. of MoDELS'09 (2009)

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

On the consistency, expressiveness, and precision of partial modeling formalisms

O. W, A. G, M. C

Inf. Comput. (2011)

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

Feature Diagrams and Logics: There and Back Again

Czarnecki K, Wasowski A

Proc. of the 11th International Software Product Line Conference (2007)

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

An Algebraic Semantics for MOF

Boronat A, Meseguer J

Formal Aspects of Computing (2010)

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

Essential Concepts of Algebraic Specification and Program Development

Sannella D, Tarlecki A

Formal Asp. Comput. (1997)

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

Meta Object Facility (MOF) Core Specification Version 2.0

OMG

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

Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering

Letier E, Lamsweerde A

ACM SIGSOFT Soft. Eng. Notes (2004)

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

Specifying and analyzing early requirements: some experimental results

Fuxman A, Liu L, Pistore M, Roveri M, Mylopoulos J

Proc. of RE'03 (2003)

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

A Metamodel-Independent Approach to Difference Representation

Cicchetti A, Ruscio D, A. Pierantonio A

Journal of Object Technology (2007)

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

An Eclipse-Based Tool Framework for Software Model Management

Salay R, Chechik M, Easterbrook S, Diskin Z, McCormick P, Nejati S et al.

Proc. of OOPSLA Eclipse Wrksp. (2007)

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

Simple and Minimum-Cost Satisfiability for Goal Models

Giorgini P, Mylopoulos J, Sebastiani R

Proc. of CAiSE'04 (2004)

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

Software Product Line Engineering: Foundations, Principles, and Techniques

Pohl K, Böckle G, Van Der Linden F

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

Alloy Analyzer Website

D. Jackson

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

Formal Verification of Parallel Programs

Keller R

Communications of the ACM (1976)

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

The Expressive Power of Implicit Specifications

Larsen P

Proc. of ICALP'91 (1991)

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

Database Repairing using Updates

Wijsen J

ACM Transactions on Database Systems (2005)

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

Consistency Management with Repair Actions

Nentwich C, Emmerich W, Finkelstein A

Proc. of ICSE'03 (2003)

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

Incremental Detection of Model Inconsistencies Based on Model Operations

Blanc X, Mougenot A, Mounier I, Mens T

Advanced Information Systems Engineering (2009)

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

Model Checking Partial State Spaces with 3-Valued Temporal Logics

Bruns G, Godefroid P

Proc. of CAV'99 (1999)

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

A Traceability Approach from i* and UML Models

Cysneiros G, Zisman A, Spanoudakis G

Proc. of SELMAS'03 (2003)

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

CrocoPat 2.1: Introduction and Reference Manual

Beyer D, Noack A

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

View merging in the presence of incompleteness and inconsistency

M. S, S. E

Requirements Engineering (2006)

  • -- 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

Proceedings of the 20th IEEE International Requirements Engineering Conference (2012)

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

Iterative, Interactive Analysis of Agent-Goal Models for Early Requirements Engineering

Horkoff J

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

Tool support for generation and validation of traces between requirements and architecture

Goknil A, Kurtev I, van den Berg K

Proceedings of the 6th ECMFA Traceability Workshop (2010)

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

Rationale, decisions and alternatives traceability for architecture design

Gilson F, Englebert V

Proceedings of the 5th European Conference on Software Architecture: Companion Volume (2011)

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

Tooling for the full traceability of non-functional requirements within model-driven development

Yrjönen A, Merilinna J

Proceedings of the 6th ECMFA Traceability Workshop (2010)

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

A scenario-driven approach to trace dependency analysis

Egyed A

Software Engineering, IEEE Transactions on (2003)

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

An Ontology-Based Approach for Multiperspective Requirements Traceability between Analysis Models

Assawamekin N

Computer and Information Science, ACIS International Conference on (2010)

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

Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models

Mader P, Gotel O, Philippow I

Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008)

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

Analysis on Relationships among Software Models through Traceability Activity

Jirapanthong W

Advances in Information Technology (2009)

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

Modeling uncertainty in software engineering using rough sets

Laplante P, Neill C

Innovations in Systems and Software Engineering (2005)

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

Software development with imperfect information

Noppen J, van den Broek P, Akşit M

Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

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

Uncertainty: A Meta-Property of Software

Laplante P, Neill C

Software Engineering Workshop, 2005. 29th Annual IEEE/NASA (2005)

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

Integrating risk management activities into requirements engineering

Islam S, Houmb S

Research Challenges in Information Science (RCIS), 2010 Fourth International Conference on (2010)

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

Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems

Sawyer P, Bencomo N, Whittle J, Letier E, Finkelstein A

Requirements Engineering Conference (RE), 2010 18th IEEE International (2010)

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

Scenario Development and Practical Decision Making under Uncertainty: Application to Requirements Engineering

Pomerol J

Requirements Engineering (1998)

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

Requirements uncertainty: influencing factors and concrete improvements

Ebert C, De Man J

Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005)

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

Uncertainty management in software engineering: Past, present, and future

Ibrahim H, Far B, Eberlein A, Daradkeh Y

Electrical and Computer Engineering, 2009. CCECE '09. Canadian Conference on (2009)

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

Towards requirements-driven autonomic systems design

Lapouchnian A, Liaskos S, Mylopoulos J, Yu Y

ACM SIGSOFT Software Engineering Notes (2005)

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

Prioritising scenario evolution

Moisiadis F

Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

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

Integrating Goals and Problem Frames in Requirements Analysis

Lin L, Zhi J

14th IEEE International Requirements Engineering Conference (RE'06) (2006)

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

Requirements Engineering: From System Goals to UML Models to Software Specifications

van Lamsweerde A

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

Comparison and Evaluation of Goal-Oriented Satisfaction Analysis Techniques

Horkoff J, Yu E

Requirements Engineering (REJ) (2011)

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

Analyzing goal models: different approaches and how to choose among them

Horkoff J, Yu E

Proceedings of the 2011 ACM Symposium on Applied Computing (2011)

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

Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method

Elahi G, Yu E

Proceedings of the 2011 ACM Symposium on Applied Computing (2011)

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

Reasoning About Alternative Requirements Options

Lamsweerde A

Conceptual Modeling Foundations and Applications (2009)

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

Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis

Horkoff J, Yu E, Ghose A

The Practice of Enterprise Modeling, 3rd IFIP WG8.1 (PoEM'10) (2010)

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

Visualizations to support interactive goal model analysis

Horkoff J, Yu E

Fifth International Workshop on Requirements Engineering Visualization (REV'10) (2010)

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

Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach

Horkoff J, Yu E

29th International Conference on Conceptual Modeling (ER'10) (2010)

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

Interactive Analysis of Agent-Goal Models in Enterprise Modeling

Horkoff J, Yu E

International Journal of Information System Modeling and Design (IJISMD) (2010)

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

Supporting Requirements Change Management in Goal Oriented Analysis

Tanabe D, Uno K, Akemine K, Yoshikawa T, Kaiya H, Saeki M

2008 16th IEEE International Requirements Engineering Conference (2008)

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

AGORA: attributed goal-oriented requirements analysis method

Kaiya H, Horai H, Saeki M

Requirements Engineering 2002 Proceedings IEEE Joint International Conference on (2002)

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

Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System

Maiden N, Lockerbie J, Randall D, Jones S, Bush D

Requirements Engineering, IEEE International Conference on (2007)

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

Towards modelling and reasoning support for early-phase requirements engineering

Yu E

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering (1997)

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

Can Patterns Improve i* Modeling? Two Exploratory Studies

Strohmaier M, Horkoff J, Yu E, Aranda J, Easterbrook S

Proceedings of the 14th International Working Conference on Requirements Engineering Foundation for Software Quality (2008)

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

Analyzing Knowledge Transfer Effectiveness – An Agent-Oriented Modeling Approach

Strohmaier M, Yu E, Horkoff J, Aranda J, Easterbrook S

Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

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

Recording the Reasons for Design Decisions

Potts C, Bruns G

Proceedings 1989 11th International Conference on Software Engineering (1988)

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

Model-Driven Requirements Engineering : Synchronising Models in an Air Traffic Management Case Study

Maiden N, Jones S, Manning S, Greenwood J, Renou L

Intl Conf Advanced Information Systems Eng CAiSE (2004)

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

Analyzing trust in technology strategies

Horkoff J, Yu E, Liu L

Proceedings of the 2006 International Conference on Privacy Security and Trust Bridge the Gap Between PST Technologies and Business Services (PST'06) (2006)

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

An Evaluation Algorithm for the i* Framework

Horkoff J

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

Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling

Gordijn J, Petit M, Wieringa R

Proceedings of the IEEE International Conference on Requirements Engineering (2006)

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

SNet: A modeling and simulation environment for agent networks based on i* and ConGolog

Gans G, Jarke M, Lakemeyer G, Vits T

Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE’02) (2002)

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

A method for the definition of metrics over i* models

Franch X

Advanced Information Systems Engineering Proceedings 21st International Conference CAiSE 2009 (2009)

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

Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study

Easterbrook S, Yu E, Aranda J, Fan Y, Horkoff J, Leica M et al.

13th IEEE International Conference on Requirements Engineering RE05 (2005)

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

Goal-directed requirements acquisition

Dardenne A, Lamsweerde A, Fickas S

Science of Computer Programming (1993)

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

Non-Functional Requirements in Software Engineering

Chung L, Nixon B, Yu E, Mylopoulos J

Conceptual Modeling Foundations and Applications (2000)

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

Using Risk Analysis to Evaluate Design Alternatives

Asnar Y, Bryl V, Giorgini P

AgentOriented Software Engineering VII (2007)

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

Evaluating goal models within the goal-oriented requirement language

Amyot D, Ghanavati S, Horkoff J, Mussbacher G, Peyton L, Yu E

International Journal of Intelligent Systems (2010)

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

Qualitative, Interactive, Backward Analysis of i* Models

Horkoff J, Yu E

3rd International i* Workshop (2008)

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

Interactive Analysis of Agent-Goal Models in Enterprise Modeling

Horkoff J, Yu E

International Journal of Information System Modeling and Design (IJISMD) (2010)

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

Reasoning with Goal Models

Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R

ER '02: Proceedings of the 21st International Conference on Conceptual Modeling (2002)

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

A Qualitative, Interactive Evaluation Procedure for Goal- and Agent-Oriented Models

Horkoff J, Yu E

CAiSE'09 Forum, Vol-453 (2009)

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

A Framework for Iterative, Interactive Analysis of Agent-Goal Models in Early Requirements Engineering

Horkoff J, Yu E

4th International i* Workshop (2010)

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

Zchaff2004: An Efficient SAT solver

Mahajan Y, Fu Z, Malik S

Proc. Seventh International Conf. on Theory and Applications of Satisfiability Testing (SAT’04) (2004)

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

Evaluating Goal Achievement in Enterprise Modeling – An Interactive Procedure and Experiences

Horkoff J, Yu E

The Practice of Enterprise Modeling (2009)

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