Title :
The benefits of formal specification for object-oriented development
Author_Institution :
Coherent Technol. Ltd., Fareham, UK
Abstract :
Describes Larch, a software engineering tool built specifically to support the specification of the behaviour of abstract data types. The language is the heart of an extensive and growing toolset which has a crucial contribution to make to engineering high integrity object-oriented systems. Larch is a specification language but its use extends upwards to requirements capture and downwards into verification of implementations. Throughout this range the emphasis is on maximising designs insights and understanding, on an engineering approach that builds on partial systems, and on early validation and verification. The Larch toolset includes a well regarded theorem prover, LP
Keywords :
abstract data types; formal specification; object-oriented methods; software tools; specification languages; LP; Larch; abstract data types; behaviour specification; formal specification; implementation verification; object-oriented development; requirements capture; software engineering tool; specification language; theorem prover;
Conference_Titel :
Object Oriented Development, IEE Colloquium on
Conference_Location :
London
