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.