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.
General
| Imprint: |
Springer-Verlag
|
| Country of origin: |
Germany |
| Series: |
Monographs in Theoretical Computer Science. An EATCS Series |
| Release date: |
December 2003 |
| First published: |
2004 |
| Authors: |
Martin Grosse-Rhode
|
| Dimensions: |
234 x 155 x 20mm (L x W x T) |
| Format: |
Hardcover
|
| Pages: |
330 |
| Edition: |
2004 ed. |
| ISBN-13: |
978-3-540-40257-2 |
| Categories: |
Books >
Computing & IT >
Computer programming >
General
|
| LSN: |
3-540-40257-8 |
| Barcode: |
9783540402572 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
