Title :
IEE Colloquium on `The Application of Computer Aided Software Engineering Tools´ (Digest No.24)
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;
Conference_Titel :
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location :
London
