Title :
IEE Colloquium on `Automating Formal Methods for Computer Assisted Prototying´ (Digest No.008)
Abstract :
The following topics were dealt with: validation of formal specifications; OBJTEST testing tool for algebraic specifications; logical animation with modal logics; rapid prototyping from Vienna Development Method specifications for expert system development; Oracle/SQL to animate Z specifications; process-oriented specification animation; Service logic Program specification; functional prototyping; LOTOS formal language; Z specification translation; prototyping engineering systems; METATEM for animating temporal specifications; me too method for software prototyping and specification; Causality Diagram Evaluation Tool; Z specification animation with ZAL environment; KB02 environment for software reuse; IUSTUS software tools; prototyping from Z specifications; and PRECIS formal specifications
Keywords :
formal logic; formal specification; object-oriented programming; program testing; program verification; programming environments; software prototyping; software tools; specification languages; systems analysis; Causality Diagram Evaluation Tool; IUSTUS software tools; KB02 environment; LOTOS formal language; METATEM; OBJTEST testing tool; Oracle/SQL; PRECIS; Service logic Program specification; Vienna Development Method specifications; Z specifications; ZAL environment; algebraic specifications; engineering systems; expert system development; formal specifications; functional prototyping; logical animation; me too method; modal logics; rapid prototyping; software prototyping; software reuse; specification animation; specification validation; temporal specifications;
Conference_Titel :
Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on
Conference_Location :
London
