DocumentCode
281529
Title
IEE Colloquium on `The Application of Computer Aided Software Engineering Tools´ (Digest No.24)
fYear
1989
fDate
32556
Abstract
The following topics were dealt with: CASE for reliable software development; YSM and VDM used together in system lifecycle; Z environment support tool; use of CASE in rapid transit system control project; rigorous system development using the formal language OBJ; software traceability enabling strategy; and software tool support for program correctness proving
Keywords
formal specification; program verification; rapid transit systems; software reliability; software tools; specification languages; CASE; VDM; Vienna development method; YSM; Yourdon structured method; Z environment support tool; computer aided software engineering; formal language OBJ; program correctness proving; rapid transit system control project; reliable software development; rigorous system development; software tool support; software traceability enabling strategy; system lifecycle;
fLanguage
English
Publisher
iet
Conference_Titel
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
197864
Link To Document