Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rh

Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rh

Características do item


Novo em folha: Livro novo, que nunca foi usado ou lido, em perfeito estado, sem nenhuma página faltando ou
Estado do item: Novo em folha
Ano de publicação: 2003 Formato: Capa dura
Idioma: Inglês ISBN-13:



Does not apply





Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rh

Sobre este produto

In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Product Identifiers
ISBN-10 3540402578
ISBN-13 9783540402572
eBay Product ID (ePID) 108395934

Key Details
Author Martin Große-Rhode
Number Of Pages 330 pages
Series Monographs in Theoretical Computer Science. an EATCS
Format Hardcover
Publication Date 2003-12-09
Language English
Publisher Springer
Publication Year 2003

Additional Details
Number of Volumes 1 vol.
Copyright Date 2004
Illustrated Yes

Weight 23.9 Oz
Width 6.1 In.
Length 9.2 In.

Target Audience
Group Scholarly & Professional

Classification Method
LCCN 2003-069097
LC Classification Number QA76.758QA75.5-76.95
Dewey Decimal 005
Dewey Edition 22

Table Of Content
1. Introduction; 2. Transformation Systems; 3. Specification of Properties; 4. Development of Transformation Systems; 5. Composition of Transformation Systems; 6. Applications to UML Software Specifications; 7. Conclusion; Appendix: Partial Algebra and their Specification; Index.

From the reviews: “This book targets an urgent need, to evolve methods that allow developers to integrate software specifications that are related … . The book is well organized and neatly written … . Examples, when provided are appropriate. … The book will surely be a good reference book for researchers and practitioners of model-driven software development … . The effort by the author to illustrate and extend the approach to UML is clearly a step in the right direction … .” (Srini Ramaswamy, Computing Reviews, February, 2005)

Price : 224.33

Ends on : Ended

View on eBay


Leave a Reply

Your email address will not be published.