Smoothing the transition from formal specification to object-oriented implementation

Taylor, P.N. and Smith, D.E. (1995) Smoothing the transition from formal specification to object-oriented implementation. UH Computer Science Technical Report . University of Hertfordshire.

Copy

The advances in object-oriented design and programming languages have left many formal specification languages behind in terms of the facilities offered to the specifier. The very languages that were developed to formalise the design of systems, prior to implementation, no longer support the design techniques or programming languages that are now being used for that implementation.

Item Type	Book
Additional information	Introducing ImpSpec - a framework for modifying standard specifications to incorporate object-oriented design techniques.
Date Deposited	15 May 2025 15:59
Last Modified	30 May 2025 23:22

Explore Further

picture_as_pdf: CSTR+213.pdf

View

Download

Atom

BibTeX

OpenURL ContextObject in Span

OpenURL ContextObject

Dublin Core

MPEG-21 DIDL

Data Cite XML

EndNote

HTML Citation

METS

MODS

RIOXX2 XML

Reference Manager

Refer

ASCII Citation

Export

Downloads