Semantic integration of heterogeneous software specifications.

zbMath1058.68073MaRDI QIDQ1428350

Martin Grosse-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

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

Related Items

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Uses Software

• AGG

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