The Z notation: a reference manual
The Z notation: a reference manual
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Strategies for incorporating formal specifications in software development
Communications of the ACM
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
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
Agendas—a concept to guide software development activities
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
Communications of the ACM
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Modelling Specification Construction by Successive Approximations
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Classifying Assumptions Made during Requirements Verification of Embedded Systems
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
| Hi-index | 0.00 |
We propose a method for the elicitation and the expression of requirements. The requirements are then transformed in a systematic way into a formal specification. The approach - which distinguishes between requirements and specifications - gives methodological support for requirements elicitation and specification development. It avoids introducing new notations but builds on known techniques.