Generic constructions for behavioral specifications

DOI10.1016/J.TCS.2011.10.025MaRDI QIDQ764311zbMATH OpenOpenAlexFDO

Authors Marius Petria

Publication date 13 March 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.10.025

zbMATH Keywords

algebraic specificationsbehavioral specificationsgeneric constructionsparametricityrefinementstabilitytheorems for free

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Specifications in an arbitrary institution
• Generic composition
• scientific article; zbMATH DE number 2079667
• Foundations for structuring behavioural specifications
• Functorial theory of parameterized specifications in a general specification framework

Cites work

• Constructor-based observational logic
• Foundations of algebraic specification and formal software development.
• Generic constructions for behavioral specifications
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1929923 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Observational interpretation of Casl specifications
• Proving Behavioral Refinements of COL-specifications
• Theoretical Aspects of Computing – ICTAC 2005
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(2)

• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• Generic constructions for behavioral specifications

This page was built for publication: Generic constructions for behavioral specifications

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