Structured algebraic specifications: A kernel language
Theoretical Computer Science
Report on the Larch shared language
Science of Computer Programming
Specification of computer programs
Specification of computer programs
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Structured systems analysis and design method: application and context
Structured systems analysis and design method: application and context
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Type systems for programming languages
Handbook of theoretical computer science (vol. B)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Hi-index | 0.00 |
Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by computer based tools if those tools are suitably tuned to the logic of composing specifications. In this paper we discuss the possibility of providing 'intelligent' assistance during the incremental construction of well designed and reliable algebraic specifications of complex (software) systems. Based on a model of the specification process, we show how the demand to preserve certain properties in the evolving specification can be exploited to design functions of a specification tool which assist the process in an effective manner.