A requirements modeling language and its logic
Information Systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Functional documents for computer systems
Science of Computer Programming
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Information modeling in the time of the revolution
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Mastering the requirements process
Mastering the requirements process
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Software Engineering Economics
Software Engineering Economics
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Exploring Alternatives During Requirements Analysis
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Security and Privacy Requirements Analysis within a Social Setting
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Goal-Oriented Requirements Animation
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements Engineering
Early verification and validation of mission critical systems
Formal Methods in System Design
Using semantic networks for data base management
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
A Requirements Engineering Methodology for Real-Time Processing Requirements
IEEE Transactions on Software Engineering
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Dynamically adaptive systems through automated model evolution using service compositions
SC'10 Proceedings of the 9th international conference on Software composition
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Clustering stakeholders for requirements decision making
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
System identification for adaptive software systems: a requirements engineering perspective
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Composite indicators for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Optimal selection of operationalizations for non-functional requirements
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Evaluation of web-specific goal oriented requirements language models with quantitative reasoning
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and their soft goals for reasoning about alternative options arising in the requirements engineering process. A personal account of John's qualitative reasoning technique for comparing alternatives is provided first. A quantitative but lightweight technique for evaluating alternative options is then presented. This technique builds on mechanisms introduced by the qualitative scheme while overcoming some problems raised by it. A meeting scheduling system is used as a running example to illustrate the main ideas.