DocumentCode
276860
Title
The IUSTUS toolset [software tools]
Author
Titterington, G.C.
Author_Institution
Modicum Ltd., Macclesfield, UK
fYear
1992
fDate
33617
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;
fLanguage
English
Publisher
iet
Conference_Titel
Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
167618
Link To Document