|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Martin Große-RhodePublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: Softcover reprint of hardcover 1st ed. 2004 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 0.528kg ISBN: 9783642073069ISBN 10: 3642073069 Pages: 330 Publication Date: 01 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of Contents1 Introduction.- 2 Transformation Systems.- 3 Specification of Properties.- 4 Development of Transformation Systems.- 5 Composition of Transformation Systems.- 6 Applications to UML Software Specifications.- 7 Conclusion.- A Partial Algebras and Their Specification.- References.ReviewsFrom the reviews: This book targets an urgent need, to evolve methods that allow developers to integrate software specifications that are related ! . The book is well organized and neatly written ! . Examples, when provided are appropriate. ! The book will surely be a good reference book for researchers and practitioners of model-driven software development ! . The effort by the author to illustrate and extend the approach to UML is clearly a step in the right direction ! . (Srini Ramaswamy, Computing Reviews, February, 2005) From the reviews: This book targets an urgent need, to evolve methods that allow developers to integrate software specifications that are related ... . The book is well organized and neatly written ... . Examples, when provided are appropriate. ... The book will surely be a good reference book for researchers and practitioners of model-driven software development ... . The effort by the author to illustrate and extend the approach to UML is clearly a step in the right direction ... . (Srini Ramaswamy, Computing Reviews, February, 2005) Author Information1988 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 Tab Content 6Author Website:Countries AvailableAll regions |