A calculus of refinements for program derivations
Acta Informatica
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
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
An introduction to formal specification and Z
An introduction to formal specification and Z
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal reasoning over deontic specifications
Deontic logic in computer science
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
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
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
A Discipline of Programming
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
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
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot
An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
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
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Architecture-based testing using goals and plans
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Aspect-oriented requirements engineering: a roadmap
Proceedings of the 13th international workshop on Early Aspects
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Towards Modelling Obligations in Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Information and Software Technology
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A process for goal oriented requirement engineering
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Goal-aligned requirements generation
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A systematic review of the use of requirements engineering techniques in model-driven development
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
On the relation between decision structures, tables and processes
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Deriving architecture specifications from KAOS specifications: a research case study
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Relating business process models to goal-oriented requirements models in KAOS
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Integrating model checking and inductive logic programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Formal verification of a safety argumentation and application to a complex UAV system
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
| Hi-index | 0.00 |
Goal orientation is an increasingly recognized paradigm for eliciting, modeling, specifying and analyzing software requirements. Goals are statements of intent organized in AND/OR refinement structures; they range from high-level, strategic concerns to low-level, technical requirements on the software-to-be and assumptions on its environment. The operationalization of system goals into specifications of software services is a core aspect of the requirements elaboration process for which little systematic and constructive support is available. In particular, most formal methods assume such operational specifications to be given and focus on their a posteriori analysis.The paper considers a formal, constructive approach in which operational software specifications are built incrementally from higher-level goal formulations in a way that guarantees their correctness by construction. The operationalization process is based on formal derivation rules that map goal specifications to specifications of software operations; more specifically, these rules map real-time temporal logic specifications to sets of pre-, post- and trigger conditions. The rules define operationalization patterns that may be used for guiding and documenting the operationalization process while hiding all formal reasoning details; the patterns are formally proved correct once and for all. The catalog of operationalization patterns is structured according to a rich taxonomy of goal specification patterns.