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...
Main Author: | Stuart, Gordon F. |
---|---|
Other Authors: | Wadge, William W. |
Format: | Others |
Language: | English en |
Published: |
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1828/39 |
Similar Items
-
Interactive visualization model for the constructionist teaching and learning of geometry
by: Jasutė, Egle
Published: (2014) -
Interactive visualization model for the constructionist teaching and learning of geometry
by: Jasutė, Egle
Published: (2014) -
Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry
by: Egle JASUTE, et al.
Published: (2014-10-01) -
Application of Formal Methods in Software Engineering
by: Adriana Morales, et al.
Published: (2011-12-01) -
A Refinement-Based Methodology for Verifying Abstract Data Type Implementations
by: Divakaran, Sumesh
Published: (2018)