Title :
The IUSTUS toolset [software tools]
Author :
Titterington, G.C.
Author_Institution :
Modicum Ltd., Macclesfield, UK
Abstract :
Discusses IUSTUS, a set of tools under development, for assisting in the specification, design and testing of systems. It supports testing throughout the life cycle; at the specification, design, implementation and maintenance phases. IUSTUS allows the user to describe a system as a collection of concurrently operating and communicating entities, each of which is defined in a hierarchical and object-oriented way (i.e. based on abstract data types)
Keywords :
formal specification; object-oriented programming; program testing; software tools; systems analysis; IUSTUS; object-oriented; program testing; software maintenance; software specification; software tools; system design;
Conference_Titel :
Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on
Conference_Location :
London
