scientific article
From MaRDI portal
Publication:3809232
zbMath0659.68019MaRDI QIDQ3809232
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modularityinitial semanticssoftware reusabilityPluss specification languagestratified loose semantics
Specification and verification (program logics, model checking, etc.) (68Q60) Equational classes, universal algebra in model theory (03C05)
Related Items (7)
A general framework for modular implementations of modular system specifications ⋮ Abstract rewriting with concrete operators ⋮ Detecting isomorphisms of modular specifications with diagrams ⋮ A model inference system for generic specification with application to code sharing ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ Observational specifications and the indistinguishability assumption ⋮ Unnamed Item
This page was built for publication:
