Title :
Methodological support for requirements elicitation and formal specification
Author :
Heisel, Maritta ; Souquiéres, Jeanine
Author_Institution :
Fakultat fur Inf., Magdeburg Univ., Germany
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
Keywords :
formal specification; systems analysis; formal specification; methodological support; requirements elicitation; software system; specification development; Electrical capacitance tomography; Feedback; Formal specifications; Natural languages; Rain; Software engineering; Software performance;
Conference_Titel :
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Ise-Shima
Print_ISBN :
0-8186-8439-9
DOI :
10.1109/IWSSD.1998.667932
