Change Management for Heterogeneous Development Graphs

DOI10.1007/978-3-642-17172-7_4zbMath1309.68129OpenAlexW1597547969MaRDI QIDQ3058452

Dieter Hutter, Serge Autexier, Till Mossakowski

Publication date: 22 November 2010

Published in: Verification, Induction, Termination Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17172-7_4

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30)

Uses Software

• CASL
• MAYA
• Hets
• OMDoc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• CASL reference manual. The complete documentation of the common algebraic specification language.
• What is a logic translation?
• Development graphs -- proof management for structured specifications
• Generalized Theoroidal Institution Comorphisms
• Institutions: abstract model theory for specification and programming
• Composing Hidden Information Modules over Inclusive Institutions
• Mechanizing Mathematical Reasoning
• Interpretation of Locales in Isabelle: Theories and Proof Contexts

This page was built for publication: Change Management for Heterogeneous Development Graphs