Title :
Answering the systems developer´s dilemma: the ObjEx-Malpas rigorous systems development strategy
Author :
Gerrard, Christopher Paul
Abstract :
The author illustrates how users of the ObjEx-Malpas tool-set combination are capturing user-requirements in a formal machine executable specification. It is this executability that allows the animation of specifications, thereby enabling users actually to see what is being proposed, so giving both the specifier and the user confidence in the validity of the proposed end system
Conference_Titel :
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location :
London
