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