An Informal Approach to Formal (Algebraic) Specifications

DOI10.1093/COMJNL/28.1.59MaRDI QIDQ5184389zbMATH OpenOpenAlexFDO

Authors Antonio L. Furtado, Tim Maibaum

Publication date 1985

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/28.1.59

zbMATH Keywords

abstract data typeformal algebraic specification

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 2086653
• A constructive method for abstract algebraic software specification
• Behavioural approaches to algebraic specifications. A comparative study
• Very abstract specifications: a formalism independent approach
• An algebraic approach to the formalization of some deduction techniques
• Algebraic foundations for specification refinements
• scientific article; zbMATH DE number 4129965
• scientific article; zbMATH DE number 3880080
• scientific article; zbMATH DE number 3936493

Cited in

(8)

• Algebraic and functional specification of an interactive serializable database interface
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• scientific article; zbMATH DE number 1617302 (Why is no real title available?)
• Formal justification of underspecification for S5
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 1988995 (Why is no real title available?)
• When databases roamed computing: formal database specification revisited perspective of language
• Exceptions for algebraic specifications: On the meaning of ``but

This page was built for publication: An Informal Approach to Formal (Algebraic) Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5184389)