scientific article; zbMATH DE number 3876564

MaRDI QIDQ3341871zbMATH OpenFDO

Authors Hartmut Ehrig, Werner Fey, Horst Hansen

Publication date 1983

zbMATH Keywords

initial algebraACT ONEalgebraic specification languagefree functor semanticsimplementation of parameterized data typesmodularization concepts for software design

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4213464
• scientific article; zbMATH DE number 4080877
• scientific article; zbMATH DE number 3956413
• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 3888893

Cited in

(11)

• A characterization of passing compatibility for parameterized specifications
• Algebraic specification of modules and their basic interconnections
• LOTOS extended with probabilistic behaviours
• Specifications in an arbitrary institution
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• Manipulating algebraic specifications with term-based and graph-based representations
• scientific article; zbMATH DE number 4080877 (Why is no real title available?)
• A set-theoretic semantics for Clear
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• Toward formal development of programs from algebraic specifications: Implementations revisited

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 Q3341871)