Development graphs -- proof management for structured specifications

DOI10.1016/J.JLAP.2005.09.005MaRDI QIDQ2369033zbMATH OpenOpenAlexFDO

Authors Till Mossakowski, Serge Autexier, Dieter Hutter

Publication date 28 April 2006

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2005.09.005

zbMATH Keywords

Algebraic specificationInstitutionsProof calculusStructuring

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1693526
• scientific article; zbMATH DE number 2087440
• Change management for heterogeneous development graphs
• scientific article; zbMATH DE number 1617292
• Transformations of specifications and proofs to support an evolutionary formal software development.

Cites work

• scientific article; zbMATH DE number 1617292 (Why is no real title available?)
• scientific article; zbMATH DE number 1693526 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• Amalgamation in the semantics of CASL
• Composing hidden information modules over inclusive institutions
• Essential concepts of algebraic specification and program development
• Institutions: abstract model theory for specification and programming
• Logical systems for structured specifications.
• Module algebra
• Proof systems for structured specifications with observability operators
• Specifications in an arbitrary institution
• Structured theories and institutions

Cited in

(14)

• A scalable module system
• scientific article; zbMATH DE number 2087440 (Why is no real title available?)
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• 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
• Using programmed graph rewriting for the formal specification of a configuration management system
• Property-oriented semantics of structured specifications
• Integrating Maude into Hets
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• The foundational legacy of ASL
• An axiomatic approach to structuring specifications
• Structure formation in large theories
• Change management for heterogeneous development graphs

Describes a project that uses

Uses Software

• Hets

This page was built for publication: Development graphs -- proof management for structured specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369033)