Methodological Support for Requirements Elicitation and Formal Specification

Authors:
Maritta Heisel;Jeanine Souquieres
Affiliations:
Fakultät für Informatik, Universität Magdeburg, D-39016 Magdeburg, Germany;LORIA-Université Nancy2, B.P. 239 Bâtiment LORIA, 54506 Vandoeuvre-les-Nancy, France
Venue:
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Year:
1998

Citing 7
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Object-oriented modeling and design

Object-oriented modeling and design
Object-oriented development: the fusion method

Object-oriented development: the fusion method
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)
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
Modelling Specification Construction by Successive Approximations

AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a method for the elicitation and the expression of requirements. The requirements can then be transformed in a systematic way into a formal specification that is a suitable basis for design and implementation of a software system. The approach -- which distinguishes between requirements and specifications -- gives methodological support for requirements elicitation and specification development. It does not introduce a new language but builds on known techniques.