Martin Große-Rhode

(Author)

Semantic Integration of Heterogeneous Software Specifications (2004)Hardcover - 2004, 9 December 2003

Semantic Integration of Heterogeneous Software Specifications (2004)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Part of Series
Monographs in Theoretical Computer Science. an Eatcs
Part of Series
Monographs in Theoretical Computer Science
Part of Series
Monographs in Theoretical Computer Science. an Eatcs Series
Print Length
330 pages
Language
English
Publisher
Springer
Date Published
9 Dec 2003
ISBN-10
3540402578
ISBN-13
9783540402572

Description

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 Details

Author:
Martin Große-Rhode
Book Edition:
2004
Book Format:
Hardcover
Country of Origin:
US
Date Published:
9 December 2003
Dimensions:
23.83 x 15.85 x 2.51 cm
ISBN-10:
3540402578
ISBN-13:
9783540402572
Language:
English
Location:
Berlin, Heidelberg
Pages:
330
Publisher:
Weight:
616.89 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.