Interactive goal model analysis for early requirements engineering

[1]  Luca Viganò,et al.  Automated analysis of RBAC policies with temporal constraints and static role hierarchies , 2015, SAC.

[2]  Rick Salay,et al.  Supporting early decision-making in the presence of uncertainty , 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

[3]  John Mylopoulos,et al.  Applying knowledge representation and reasoning to (simple) goal models , 2014, 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).

[4]  John Mylopoulos,et al.  Strategic business modeling: representation and reasoning , 2014, Software & Systems Modeling.

[5]  Eric S. K. Yu,et al.  Comparison and evaluation of goal-oriented satisfaction analysis techniques , 2013, Requirements Engineering.

[6]  Rick Salay,et al.  Managing requirements uncertainty with partial models , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[7]  John Mylopoulos,et al.  Representing and reasoning about preferences in requirements engineering , 2011, Requirements Engineering.

[8]  Eric S. K. Yu,et al.  Analyzing goal models: different approaches and how to choose among them , 2011, SAC.

[9]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[10]  Alireza Pourshahid,et al.  Toward a Goal-Oriented, Business Intelligence Decision-Making Framework , 2011, MCETECH.

[11]  Jennifer Horkoff,et al.  Visualizations to support interactive goal model analysis , 2010, 2010 Fifth International Workshop on Requirements Engineering Visualization.

[12]  Eric S. K. Yu,et al.  Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis , 2010, PoEM.

[13]  Neil A. Ernst,et al.  Reasoning with Optional and Preferred Requirements , 2010, ER.

[14]  Eric S. K. Yu,et al.  Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach , 2010, ER.

[15]  Eric S. K. Yu,et al.  Interactive Analysis of Agent-Goal Models in Enterprise Modeling , 2010, Int. J. Inf. Syst. Model. Des..

[16]  Neil A. Ernst,et al.  Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[17]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[18]  Xavier Franch,et al.  Incorporating Modules into the i* Framework , 2010, CAiSE.

[19]  Eric S. K. Yu,et al.  Evaluating Goal Achievement in Enterprise Modeling - An Interactive Procedure and Experiences , 2009, PoEM.

[20]  Axel van Lamsweerde,et al.  Reasoning About Alternative Requirements Options , 2009, Conceptual Modeling: Foundations and Applications.

[21]  P. Giorgini,et al.  Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos , 2009, Conceptual Modeling: Foundations and Applications.

[22]  Jordi Cabot,et al.  Integrating sustainability in decision-making processes: A modelling strategy , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[23]  John Mylopoulos,et al.  Supporting Requirements Analysis in Tropos: A Planning-Based Approach , 2009, PRIMA.

[24]  Eric S. K. Yu,et al.  Reflective Analysis of the Syntax and Semantics of the i* Framework , 2008, ER Workshops.

[25]  Takashi Yoshikawa,et al.  Supporting Requirements Change Management in Goal Oriented Analysis , 2008, 2008 16th IEEE International Requirements Engineering Conference.

[26]  Markus Strohmaier,et al.  Can Patterns Improve i* Modeling? Two Exploratory Studies , 2008, REFSQ.

[27]  Neil A. M. Maiden,et al.  Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[28]  Kurt Sandkuhl,et al.  Participative Enterprise Modeling: Experiences and Recommendations , 2007, CAiSE.

[29]  Markus Strohmaier,et al.  Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[30]  Lin Liu,et al.  Analyzing trust in technology strategies , 2006, PST.

[31]  Barbara Paech,et al.  Open Source Requirements Engineering , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[32]  Xavier Franch,et al.  On the Quantitative Analysis of Agent-Oriented Models , 2006, CAiSE.

[33]  Eric S. K. Yu,et al.  Do viewpoints lead to better conceptual models? An exploratory case study , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[34]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[35]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[36]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[37]  Sharad Malik,et al.  Zchaff2004: An Efficient SAT Solver , 2004, SAT (Selected Papers.

[38]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[39]  Marco Pistore,et al.  Specifying and analyzing early requirements: some experimental results , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[40]  Daniel Amyot,et al.  Introduction to the User Requirements Notation: learning by example , 2003, Comput. Networks.

[41]  Haruhiko Kaiya,et al.  AGORA: attributed goal-oriented requirements analysis method , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[42]  Gerhard Lakemeyer,et al.  SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog , 2002, CAiSE.

[43]  Antonio Sassano,et al.  Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae , 2001, Electron. Notes Discret. Math..

[44]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[45]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[46]  Eric Yu,et al.  Iterative, Interactive Analysis of Agent-goal Models for Early Requirements Engineering , 2012 .

[47]  Alberto Griggio,et al.  A Practical Approach to Satisability Modulo Linear Integer Arithmetic , 2012, J. Satisf. Boolean Model. Comput..

[48]  Eric S. K. Yu,et al.  Detecting Judgment Inconsistencies to Encourage Model Iteration in Interactive i* Analysis , 2011, iStar.

[49]  John Mylopoulos,et al.  Formal Reasoning Techniques for Goal Models , 2003, J. Data Semant..

[50]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.