scientific article
From MaRDI portal
Publication:3197342
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.
modularityformal specificationsPLUSSSoftware reusabilityabstract algebraic typeshierarchical specifications
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
This page was built for publication: