Jennifer Horkoff PhD Candidate

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

  • 3 Followers

Stats

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.