scientific article

zbMath0712.68066MaRDI QIDQ3197342

Th. Moineau, Marie-Claude Gaudel

Publication date: 1990

Full work available at URL: https://eudml.org/doc/91750

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modularityformal specificationsPLUSSSoftware reusabilityabstract algebraic typeshierarchical specifications

Mathematics Subject Classification ID

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

Related Items (5)

Behavioural approaches to algebraic specifications. A comparative study ⋮ Correctness proofs for abstract implementations ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ Unnamed Item ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cites Work

• On hierarchies of abstract data types
• Structured algebraic specifications: A kernel language
• Algebraic implementation of abstract data types
• Partial abstract types
• The algebraic specification of abstract data types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: