Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Developing multimedia applications with the WinWin spiral model
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
A stakeholder win–win approach to software engineering education
Annals of Software Engineering - Special issue on software engineering education
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
From conceptual modelling to requirements engineering
Annals of Software Engineering
Viewpoints for Requirements Elicitation: A Practical Approach
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A computational mechanism for parallel problem decomposition during requirements engineering
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Bridging the requirements gap: policies, goals and domains
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Improving use case driven analysis using goal and scenario authoring: a linguistics-based approach
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Goal and scenario based domain requirements analysis environment
Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
Managing requirements conflicts in software product lines: A goal and scenario based approach
Data & Knowledge Engineering
On formalisation of the goal concept in law
Engineering Applications of Artificial Intelligence
Classifying Assumptions Made during Requirements Verification of Embedded Systems
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Deriving Information Requirements from Responsibility Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Using antimodels to define agents' strategy
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Requirements engineering process improvement: an industrial case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Information requirements for enterprise systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Optimal selection of operationalizations for non-functional requirements
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Value-based argumentation for designing and auditing security measures
Ethics and Information Technology
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
| Hi-index | 0.00 |
Requirements analysis includes an acquisition step where a global model for the specification of the system and its environment is elaborated. This model involves concepts that are usually not found in the final formal specification, such as goals to be achieved, agents and their responsibilities, etc. This paper presents an approach for model acquisition which is driven by such goals. We describe a conceptual meta-model in terms of which requirements models are acquired. Our acquisition strategy can be viewed as a systematic way to traversing this meta-model backwards from the goals. The goal-directed acquisition strategy and the use of the meta-model are illustrated with a case study, the specification of a simple elevator system.