Semantic Integration of Heterogeneous Software Specifications Image close
Semantic Integration of Heterogeneous Software Specifications on Hardback by Martin Grosse-Rhode
Semantic Integration of Heterogeneous Software Specifications on Hardback by Martin Grosse-Rhode
Show Hide Adult Content
Semantic Integration of Heterogeneous Software Specifications close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Semantic Integration of Heterogeneous Software Specifications

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$407.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $102.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Monographs in Theoretical Computer Science : an EATCS Series

See all products in this series

Domain Science and Engineering on Hardback by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Compiler Generators by Mads Tofte
$261.99
Compiler Generators
by Mads Tofte ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Coloured Petri Nets by Kurt Jensen
$261.99
Coloured Petri Nets
by Kurt Jensen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Duration Calculus on Hardback by Chaochen Zhou Save $36
$265.99
$302.95
Duration Calculus
by Chaochen Zhou ~ Hardback
Available - Usually ships in 3-4 weeks
Restricted-Orientation Convexity by Eugene Fink
$135.99
Restricted-Orientation Convexity
by Eugene Fink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing on Hardback by J.C.M. Baeten Save $78
$139.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Hardback
Available - Usually ships in 3-4 weeks
Semirings, Automata, Languages by A Salomaa Save $14
$268.99
$283.95
Semirings, Automata, Languages
by A Salomaa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-Rhode
$406.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domain Science and Engineering by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing by J.C.M. Baeten Save $81
$136.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Algebraic Specification 1 by Hartmut Ehrig Save $16
$266.99
$283.95
Fundamentals of Algebraic Specification 1
by Hartmut Ehrig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Data Structures and Algorithms 3 by K Mehlhorn Save $42
$137.99
$180.95
Data Structures and Algorithms 3
by K Mehlhorn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Stochastic Coalgebraic Logic by Ernst-Erich Doberkat Save $52
$263.99
$316.95
Stochastic Coalgebraic Logic
by Ernst-Erich Doberkat ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebras for Petri Nets on Hardback by Roberto Gorrieri
$221.99
Process Algebras for Petri Nets
by Roberto Gorrieri ~ Hardback
Available - Usually ships in 3-4 weeks
Kolmogorov Complexity and Computational Complexity Save $16
$263.99
$280.95
Kolmogorov Complexity and Computational Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Logics of Specification Languages on Hardback
$417.99
$421.95
Logics of Specification Languages
Hardback
Available - Usually ships in 3-4 weeks

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.

Author Biography:

1988 Dipl. Math., TU Berlin 1994 Dr. rer.nat. (PhD) Computer Science, TU Berlin 1997/98 senior researcher in the European network GETGRATS, Universita di Roma A" La Sapienza A", Rome, Italy and Universita di Pisa, Pisa, Italy 1999 guest professor, Universitat de les Illes Balears (University of the Balearic Islands), Palma de Mallorca, Spain 2002 Habilitation, TU Berlin since June 2002 senior researcher, Fraunhofer Institut Software- und Systemtechnik, Berlin
Release date Australia
December 9th, 2003
Audience
  • Professional & Vocational
Illustrations
IX, 330 p.
Pages
330
Dimensions
156x234x20
ISBN-13
9783540402572
Product ID
5268628

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Martin Grosse-Rhode

See all books by this author

Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-Rhode
$406.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation