Classified models for software engineering

Classified models for software engineering

In this dissertation it is shown that abstract data types (ADTs) can be specified by the Classified Model (CM) specification language - a first-order Horn language with equality and sort "classification" assertations. It is shown how these sort assertations generalize the traditional synta...

Full description

Bibliographic Details
Main Author: Stuart, Gordon F.
Other Authors: Wadge, William W.
Format: Others
Language:English
en
Published: 2005
Subjects:
Abstract data types
Proof theory
Software engineering
Specification language
ADT
Online Access:http://hdl.handle.net/1828/39

Internet

http://hdl.handle.net/1828/39

Similar Items