Formal Methods for Components and Objects

DOI10.1007/11561163zbMath1143.68359OpenAlexW4298853841MaRDI QIDQ5897455

Marcello M. Bonsangue, Martin Steffen, Andreas Grüner, Erika Ábrahám, Frank S. de Boer

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11561163

zbMATH Keywords

determinismformal semanticsfull abstractionclass-based object-oriented languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abstract interface behavior of object-oriented languages with monitors

This page was built for publication: Formal Methods for Components and Objects