Algebraic specification techniques in object oriented programming environments

DOI10.1007/3-540-54972-2MaRDI QIDQ396984zbMATH OpenOpenAlexFDO

Authors Ruth Breu

Publication date 14 August 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54972-2

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 58285
• Combining algebraic specifications and procedural tools for correct program development
• scientific article; zbMATH DE number 1086650
• Formal Specification and Design
• Essential concepts of algebraic specification and program development

Cited in

(8)

• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 1822284 (Why is no real title available?)
• A CuCh interpretation of an object-oriented language
• Expression-Based Aliasing for OO–languages
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
• Mechanisms for naming an algebraic approach with an application to Java
• scientific article; zbMATH DE number 58285 (Why is no real title available?)
• An algebraic approach to formalization of object-orientation^*

This page was built for publication: Algebraic specification techniques in object oriented programming environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q396984)