DocumentCode
281533
Title
Answering the systems developer´s dilemma: the ObjEx-Malpas rigorous systems development strategy
Author
Gerrard, Christopher Paul
fYear
1989
fDate
32556
Firstpage
42522
Lastpage
42523
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
fLanguage
English
Publisher
iet
Conference_Titel
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
197871
Link To Document