Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
From natural language processing to logic for expert systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Functional documents for computer systems
Science of Computer Programming
Proceedings of the 17th international conference on Software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions 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
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
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Analogical Reuse of Requirements Frameworks
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Deriving tabular event-based specifications from goal-oriented requirements models
Requirements Engineering
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
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
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
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
Early verification and validation of mission critical systems
Formal Methods in System Design
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Security requirements for civil aviation with UML and goal orientation
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
A goal-oriented requirements modelling language for enterprise architecture
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
A meta model for artefact-orientation: fundamentals and lessons learned in requirements engineering
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A knowledge-based object modeling advisor for developing quality object models
Expert Systems with Applications: An International Journal
MC Sandbox: Devising a tool for method-user-centered method configuration
Information and Software Technology
Goals and Requirements for Supporting Controlled Flexibility in Software Processes
Information Resources Management Journal
GRL model validation: a statistical approach
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Design of ensemble-based component systems by invariant refinement
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Domain specific languages for the model driven organization
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult. We need to produce a complete, adequate, consistent, and well-structured set of measurable requirements and assumptions from incomplete, imprecise, and sparse material originating from multiple, often conflicting sources. The system we need to consider comprises software and environment components including people and devices. A rich system model may significantly help us in this task. Such model must integrate the intentional, structural, functional, and behavioral facets of the system being conceived. Rigorous techniques are needed for model construction, analysis, exploitation, and evolution. Such techniques should support early and incremental reasoning about partial models for a variety of purposes including satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats, and conflicts, and traceability management. The tension between technical precision and practical applicability calls for a suitable mix of heuristic, deductive, and inductive forms of reasoning on a suitable mix of declarative and operational specifications. Formal techniques should be deployed only when and where needed, and kept hidden wherever possible. The paper provides a retrospective account of our research efforts and practical experience along this route. Problem-oriented abstractions, analyzable models, and constructive techniques were permanent concerns.