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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: BookOrders, Russell, IA, Estados Unidos de America
Hard Cover. Condición: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 327 pages. Ex-Library. Nº de ref. del artículo: 120837
Cantidad disponible: 1 disponibles
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Condición: 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. Nº de ref. del artículo: ABNR-91253
Cantidad disponible: 1 disponibles
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-240714
Cantidad disponible: 1 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 1419474/2
Cantidad disponible: 1 disponibles
Librería: Best Price, Torrance, CA, Estados Unidos de America
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540402572
Cantidad disponible: 2 disponibles
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020166118
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783540402572_new
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 9783540402572
Cantidad disponible: 2 disponibles
Librería: moluna, Greven, Alemania
Condición: New. Nº de ref. del artículo: 4888673
Cantidad disponible: Más de 20 disponibles
Librería: preigu, Osnabrück, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 102506064
Cantidad disponible: 5 disponibles