An Institution for Object-Z with Inheritance and Polymorphism

DOI10.1007/978-3-319-15545-6_11zbMath1453.68043OpenAlexW38844990MaRDI QIDQ5256346

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

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

inheritancecategory theoryObject-Zinstitutionpolymorphic typessoftware engineering models

Mathematics Subject Classification ID

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

Related Items (1)

An Institution for Object-Z with Inheritance and Polymorphism

Uses Software

• CASL
• Hets
• Z

Cites Work

• Specifications in an arbitrary institution
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Compiling Logics
• What Is a Multi-modeling Language?
• A Heterogeneous Approach to UML Semantics
• Institutions: abstract model theory for specification and programming
• An Institution for Object-Z with Inheritance and Polymorphism
• Composition by Colimit and Formal Software Development
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Institution for Object-Z with Inheritance and Polymorphism