scientific article; zbMATH DE number 1617292
From MaRDI portal
Publication:2722016
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
- scientific article; zbMATH DE number 1614668 (Why is no real title available?)
- 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
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 Q2722016)
