Algebraic specification techniques in object oriented programming environments

DOI10.1007/3-540-54972-2zbMATH Open1293.68004OpenAlexW1508756608MaRDI QIDQ396984FDOQ396984

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

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

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)

Cited In (8)

• Essential concepts of algebraic specification and program development
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)