Sinossi
The first book to integrate various model-based software specification approaches. The integration approach 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
1988 Dipl. Math., TU Berlin
1994 Dr. rer.nat. (PhD) Computer Science, TU Berlin
1997/98 senior researcher in the European network GETGRATS, Università di Roma « La Sapienza », Rome, Italy and Università 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
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Semantic Integration of Heterogeneous Software Specification...
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020216202
Compra nuovo
EUR 159,94
Spese di spedizione:
EUR 3,47
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642073069_new
Compra nuovo
EUR 156,85
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
ISBN 10: 3642073069
ISBN 13: 9783642073069
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 344 pp. Englisch. Codice articolo 9783642073069
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 5046381
Compra nuovo
EUR 136,16
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Semantic Integration of Heterogeneous Software Specifications | Martin Große-Rhode | Taschenbuch | ix | Englisch | 2010 | Springer | EAN 9783642073069 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 107167512
Compra nuovo
EUR 141,30
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 344. Codice articolo 263070256
Compra nuovo
EUR 209,49
Spese di spedizione:
EUR 3,47
In U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
ISBN 10: 3642073069
ISBN 13: 9783642073069
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch. Codice articolo 9783642073069
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642073069
ISBN 13: 9783642073069
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783642073069
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 62,61
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 344 78 Illus. Codice articolo 5859055
Compra nuovo
EUR 225,90
Spese di spedizione:
EUR 7,38
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 344. Codice articolo 183070266
Compra nuovo
EUR 224,67
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili