Authors: Jeanine Souquières, Maritta Heisel
Tags: 1999, conceptual modeling
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.Read the full paper here: https://link.springer.com/chapter/10.1007/3-540-47866-3_21
