scientific article; zbMATH DE number 2087420

MaRDI QIDQ4738215zbMATH OpenFDO

Authors Michel Bidoit, Rolf Hennicker

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030021.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Constructor-based observational logic
• Recent Trends in Algebraic Development Techniques
• Observational logic, constructor-based logic, and their duality.
• scientific article; zbMATH DE number 1705159
• Behavioural approaches to algebraic specifications. A comparative study

Cited in

(11)

• Observational logic, constructor-based logic, and their duality.
• Constructor-based observational logic
• A formally grounded software specification method
• Algebraic-coalgebraic specification in CoCASL
• Ultraproducts and possible worlds semantics in institutions
• Stratified institutions and elementary homomorphisms
• scientific article; zbMATH DE number 1705159 (Why is no real title available?)
• Ensuring reachability by design
• Duality between reachability and observability for adjoint systems
• Observability Concepts in Abstract Data Type Specification, 30 Years Later
• Saturated models in institutions

Describes a project that uses

Uses Software

• CASL
• CafeOBJ

This page was built for publication:

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