Semantic integration of heterogeneous software specifications.

MaRDI QIDQ1428350zbMATH OpenFDO

Authors M. Große-Rhode

Publication date 28 March 2004

Published in Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

zbMATH Keywords

transformation systemssoftware specification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1860664
• Towards heterogeneous specifications
• scientific article; zbMATH DE number 4050950
• scientific article; zbMATH DE number 2080212
• Integrated Formal Methods
• scientific article; zbMATH DE number 1860665
• scientific article; zbMATH DE number 1346359

Cited in

(18)

• scientific article; zbMATH DE number 1860662 (Why is no real title available?)
• scientific article; zbMATH DE number 1860663 (Why is no real title available?)
• Model-based software and data integration. First international workshop, MBSDI 2008, Berlin, Germany, April 1--3, 2008. Proceedings
• scientific article; zbMATH DE number 1407501 (Why is no real title available?)
• A foundational view on integration problems
• scientific article; zbMATH DE number 2079675 (Why is no real title available?)
• Towards a formal framework for inter-enterprise application integration
• A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
• Consistent integration of models based on views of meta models
• Integrated Formal Methods
• Compositional comparison of formal software specifications using transformation systems.
• scientific article; zbMATH DE number 1931782 (Why is no real title available?)
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• Extending standard UML with model composition semantics
• Compositional heterogeneous abstraction
• A conceptual and formal framework for the integration of data type and process modeling techniques
• scientific article; zbMATH DE number 1754583 (Why is no real title available?)
• scientific article; zbMATH DE number 1860664 (Why is no real title available?)

Describes a project that uses

Uses Software

• AGG

This page was built for publication: Semantic integration of heterogeneous software specifications.

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