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. [Report]
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 Report
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 21 Oct 2026 23:02

Explore Further

picture_as_pdf
CSTR+213.pdf
View Download

EndNote BibTeX Reference Manager Refer Atom Dublin Core MODS RIOXX2 XML MPEG-21 DIDL HTML Citation OpenURL ContextObject in Span METS OPENAIRE Data Cite XML ASCII Citation OpenURL ContextObject
Export

Downloads