Towards an evolutionary formal software-development using CASL

DOI10.1007/978-3-540-44616-3_5MaRDI QIDQ2722016zbMATH OpenFDO

Authors Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_5

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Transformations of specifications and proofs to support an evolutionary formal software development.
• Proof transformations for evolutionary formal software development
• Mechanizing Mathematical Reasoning
• Property transformation under specification change
• Change management for heterogeneous development graphs

Cited in

(22)

• CASL: the Common Algebraic Specification Language.
• A logical framework for evolving software systems
• Structuring theories with implicit morphisms
• Development graphs -- proof management for structured specifications
• HEDES: A system theory based tool to support evolutionary software systems
• scientific article; zbMATH DE number 1693526 (Why is no real title available?)
• A proof theoretic interpretation of model theoretic hiding
• Towards logical frameworks in the heterogeneous tool set Hets
• Proof transformations for evolutionary formal software development
• Change management for heterogeneous development graphs
• A scalable module system
• scientific article; zbMATH DE number 1088303 (Why is no real title available?)
• scientific article; zbMATH DE number 1980916 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• Representing model theory in a type-theoretical logical framework
• Transformations of specifications and proofs to support an evolutionary formal software development.
• Mechanizing Mathematical Reasoning
• MBase: Representing knowledge and context for the integration of mathematical software systems
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• Morphism equality in theory graphs
• Representing model theory in a type-theoretical logical framework
• A proof-centric approach to mathematical assistants

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Towards an evolutionary formal software-development using CASL

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