scientific article; zbMATH DE number 1617292
From MaRDI portal
Publication:2722016
zbMATH Open0966.68140MaRDI QIDQ2722016FDOQ2722016
Authors: Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer 
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 (20)
- 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 theoretic interpretation of model theoretic hiding
- Towards logical frameworks in the heterogeneous tool set Hets
- A proof-centric approach to mathematical assistants
- Proof transformations for evolutionary formal software development
- 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?)
- Mechanizing Mathematical Reasoning
- Structuring theories with implicit morphisms
- Representing model theory in a type-theoretical logical framework
- Transformations of specifications and proofs to support an evolutionary formal software development.
- Change management for heterogeneous development graphs
- 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)
