Heterogeneous development graphs and heterogeneous borrowing

DOI10.1007/3-540-45931-6_23MaRDI QIDQ4738235zbMATH OpenFDO

Authors Till Mossakowski

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030326.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Change management for heterogeneous development graphs
• Development graphs -- proof management for structured specifications
• Extending development graphs with hiding
• Hierarchical heterogeneous specifications
• Foundations of heterogeneous specification.

Cited in

(5)

• Development graphs -- proof management for structured specifications
• On an essentially algebraic theory for locally presentable categories
• Extending development graphs with hiding
• Change management for heterogeneous development graphs
• Heterogeneous Logical Environments for Distributed Specifications

Describes a project that uses

Uses Software

• CASL
• CoFI

This page was built for publication: Heterogeneous development graphs and heterogeneous borrowing

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