An institution for Object-Z with inheritance and polymorphism

DOI10.1007/978-3-319-15545-6_11MaRDI QIDQ5256346zbMATH OpenOpenAlexFDO

Authors Hubert Baumeister, M. Bettaz, Mourad Maouche, M'Hamed Mosteghanemi

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_11

zbMATH Keywords

category theoryinheritanceinstitutionObject-Zpolymorphic typessoftware engineering models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 3980455
• scientific article; zbMATH DE number 1409638
• Recent Trends in Algebraic Development Techniques
• Institutions: abstract model theory for specification and programming

Cites work

• A Heterogeneous Approach to UML Semantics
• An institution for Object-Z with inheritance and polymorphism
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Compiling logics
• Composition by Colimit and Formal Software Development
• scientific article; zbMATH DE number 1617308 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Specifications in an arbitrary institution
• What Is a Multi-modeling Language?

Cited in

(2)

• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• An institution for Object-Z with inheritance and polymorphism

Describes a project that uses

Uses Software

• CASL
• Z
• Hets

This page was built for publication: An institution for Object-Z with inheritance and polymorphism

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