In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.
|Number of pages||14|
|Publication status||Published - 1997|
|Event||9th International Conference on Advanced Information Systems Engineering, CAiSE 1997 - Barcelona, Spain|
Duration: 16 Jun 1997 → 20 Jun 1997
Conference number: 9
|Conference||9th International Conference on Advanced Information Systems Engineering, CAiSE 1997|
|Period||16/06/97 → 20/06/97|