scientific article; zbMATH DE number 1324839

MaRDI QIDQ4255593zbMATH OpenFDO

Authors

Publication date 18 August 1999

zbMATH Keywords

Algebraic foundationsSystems specification

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 4219054
• scientific article; zbMATH DE number 4110066
• Algebraic foundations for specification refinements
• scientific article; zbMATH DE number 1497880
• On the algebra of structured specifications
• scientific article; zbMATH DE number 3954252
• scientific article; zbMATH DE number 194509
• Algebraic specification of concurrent systems
• Proof systems for structured algebraic specifications: An overview
• scientific article; zbMATH DE number 3862421

Cited in

(23)

• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Logical systems for structured specifications.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Constructor-based observational logic
• A formally grounded software specification method
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Some co-Birkhoff type theorems
• A proof theoretic interpretation of model theoretic hiding
• Combining graph transformation and algebraic specification into model transformation
• From grammars and automata to algebras and coalgebras
• scientific article; zbMATH DE number 1004364 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 8787 (Why is no real title available?)
• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• scientific article; zbMATH DE number 3285 (Why is no real title available?)
• Formal software development in the Verification Support Environment (VSE)
• Observational interpretation of Casl specifications
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Generalized interpolation in CASL

Describes a project that uses

Uses Software

• CoFI

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