scientific article
From MaRDI portal
Publication:3341871
zbMath0549.68010MaRDI QIDQ3341871
Hartmut Ehrig, Horst Hansen, Werner Fey
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
initial algebraACT ONEalgebraic specification languagefree functor semanticsimplementation of parameterized data typesmodularization concepts for software design
Related Items
Manipulating algebraic specifications with term-based and graph-based representations, Algebraic specification of modules and their basic interconnections, Toward formal development of programs from algebraic specifications: Implementations revisited, A characterization of passing compatibility for parameterized specifications, Specifications in an arbitrary institution, Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives, LOTOS extended with probabilistic behaviours, Process algebraic modelling of attentional capture and human electrophysiology in interactive systems, A set-theoretic semantics for Clear
