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
Da: BookOrders, Russell, IA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 327 pages. Ex-Library. Codice articolo 120837
Compra usato
EUR 8,03
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantic Integration Of Heterogeneous Software Specifications
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-91253
Compra nuovo
EUR 108,03
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantic Integration Of Heterogeneous Software Specifications
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-240714
Compra nuovo
EUR 108,03
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantic Integration of Heterogeneous Software Specifications
Editore:
Springer Berlin Heidelberg, 2003
ISBN 10: 3540402578
ISBN 13: 9783540402572
Antico o usato
Rilegato
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 1419474/2
Compra usato
EUR 28,58
Spese di spedizione:
EUR 105,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
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 ABLIING23Mar3113020166118
Compra nuovo
EUR 159,62
Spese di spedizione:
EUR 3,45
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 ria9783540402572_new
Compra nuovo
EUR 163,16
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
Editore:
Springer Berlin Heidelberg Dez 2003, 2003
ISBN 10: 3540402578
ISBN 13: 9783540402572
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 344 pp. Englisch. Codice articolo 9783540402572
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 4888673
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
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Semantic Integration of Heterogeneous Software Specifications | Martin Große-Rhode | Buch | ix | Englisch | 2003 | Springer Berlin | EAN 9783540402572 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102506064
Compra nuovo
EUR 141,30
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Semantic Integration of Heterogeneous Software Specifications
ISBN 10: 3540402578
ISBN 13: 9783540402572
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. 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 9783540402572
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili