scientific article; zbMATH DE number 1617292
From MaRDI portal
Publication:2722016
zbMATH Open0966.68140MaRDI QIDQ2722016FDOQ2722016
Axel Schairer, Serge Autexier, Heiko Mantel, Dieter Hutter
Publication date: 11 July 2001
Title of this publication is not available (Why is that?)
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 (18)
- A scalable module system
- Representing model theory in a type-theoretical logical framework
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- MBase: Representing knowledge and context for the integration of mathematical software systems
- A proof-centric approach to mathematical assistants
- Title not available (Why is that?)
- CASL: the Common Algebraic Specification Language.
- Development graphs -- proof management for structured specifications
- Title not available (Why is that?)
- A Proof Theoretic Interpretation of Model Theoretic Hiding
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets
- Mechanizing Mathematical Reasoning
- Representing Model Theory in a Type-Theoretical Logical Framework
- Structuring theories with implicit morphisms
- Transformations of specifications and proofs to support an evolutionary formal software development.
- Morphism equality in theory graphs
Uses Software
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)
