An Institution for Object-Z with Inheritance and Polymorphism

DOI10.1007/978-3-319-15545-6_11zbMath1453.68043MaRDI 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

inheritance; category theory; Object-Z; institution; polymorphic types; software engineering models

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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