Language: English
Published by John Wiley & Sons (edition 1), 2000
ISBN 10: 0471295515 ISBN 13: 9780471295518
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Language: English
Published by Wiley & Sons, Incorporated, John, 2000
ISBN 10: 0471295515 ISBN 13: 9780471295518
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: ThriftBooks-Phoenix, Phoenix, AZ, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Language: English
Published by Wiley Computer Publishing, 2000
ISBN 10: 0471295515 ISBN 13: 9780471295518
Condition: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: AwesomeBooks, Wallingford, United Kingdom
Paperback. Condition: Very Good. Business Patterns w/UML (OMG): Business Patterns at Work: 8 This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
Language: English
Published by Wiley & Sons, Incorporated, John, 2000
ISBN 10: 0471295515 ISBN 13: 9780471295518
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: Bahamut Media, Reading, United Kingdom
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Language: German
Published by Heidelberg : dpunkt-Verl., 1999
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Broschiert. Condition: Gut. 1. Aufl., Korrigierter Nachdruck. 358 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 615.
£ 5.06
Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
£ 5.06
Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller: PJK Books and Such, Murrells Inlet, SC, U.S.A.
Hard Cover. Condition: Very Good. No Jacket. Wiley,2000. Hard Cover. No dust jacket. Cover has very slight shelfwear. Pages are clean, bright and unmarked. Binding is tight. Hinges are perfect. Beautiful condition.
Seller: Aragon Books Canada, OTTAWA, ON, Canada
Condition: New.
Language: English
Published by LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Logical Time [at] Work for the Modeling and Analysis of Embedded Systems | Foundations of the UML/MARTE Time Model | Frederic Mallet | Taschenbuch | 124 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783843393881 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
Language: English
Published by John Wiley & Sons Inc, 2000
ISBN 10: 0471295515 ISBN 13: 9780471295518
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 459 pages. 9.75x7.75x1.50 inches. In Stock.
Language: English
Published by LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Published by dpunkt.verlag GmbH
ISBN 10: 393258838X ISBN 13: 9783932588389
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: German
Published by Dpunkt Verlag Auflage: 3., aktualis. und überarb. A. (Juli 2005), 2005
ISBN 10: 3898642615 ISBN 13: 9783898642613
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Hardcover. Condition: gut. In den 8 Jahren seit ihrer ersten Standardisierung hat sich UML weltweit durchgesetzt. Softwareentwickler und ihre Kunden kommen an UML als der "lingua franca" in der Softwaremodellierung nicht mehr vorbei. UML in der aktuellen Version 2.0 bietet nun u.a. auch die Basis für eine modellgetriebene Entwicklung und damit für eine automatische Codegenerierung. Wozu eine 3. Auflage von UML @ Work? 1. Um sowohl dem "UML-Neuling" als auch dem "UML-Kenner" Sprachkonzepte und Notation der 13 (!) von UML 2 unterstützten Diagrammarten zur Struktur- und Verhaltensmodellierung näher zu bringen. 2. Um die Motivation für bestimmte Sprachkonzepte und deren Wurzeln zu verstehen sowie sie kritisch zu reflektieren. Bewusst wird über den "Tellerrand" von UML 2 hinausgeblickt, indem Querbezüge zu aktuellen, aber auch altbewährten Themen aus Forschung und Praxis hergestellt werden. 3. Um dem "UML-Neuling" ein "Big Picture" der UML zu vermitteln und dem "UML-Kenner" eine rasche Einschätzung des Potenzials von UML2 zu ermöglichen. Der Umstieg auf UML2 wird erleichtert. 4. Um die Sprachphilosophie und Erweiterungsmöglichkeiten von UML 2 kennen zu lernen. In einem eigenen Kapitel wird die Spracharchitektur in Form des Metamodells und des Meta-Meta-modells von UML 2 vorgestellt. 5. Um einen Einblick in die Möglichkeiten und Grenzen der modellgetriebenen Softwareentwicklung zu geben, u.a. auf Basis von UML und MDA (model-driven architecture). Aktuelle Entwicklungswerkzeuge werden kritisch betrachtet und die Ergebnisse einer Fallstudie dokumentiert. "The authors provide an excellent guide to the use of UML. They go well beyond the official OMG standards document by providing insight into the history and use of UML constructs as well as an evaluation of its strengths and weaknesses." Aus dem Geleitwort von von James Rumbaugh Wozu UML? Im achten Jahr seit der ersten Standardisierung 1997 können Softwareentwickler (und deren Kunden!) an UML als DER lingua franca in der Softwaremodellierung nicht mehr vorbei - sie hat sich weltweit durchgesetzt. Damit ist es endlich möglich, effektiv und effizient über Softwaremodelle zu kommunizieren, unbelastet mit unfruchtbaren Diskussionen über die Bedeutung von "Krähenfüßen", Ringen, schwarzen Scheiben und ähnlichen syntaktischen Feinheiten von unterschiedlichsten Modellierungsnotationen. UML in der aktuellen Version 2 geht sogar einen Schritt weiter, indem nicht nur die Modellierung, sondern auch die modellgetriebene Entwicklung (MDA, model-driven architecture) zum vorherrschenden Entwicklungsparadigma und -standard erhoben wird. Wozu eine 3. Auflage von UML @ Work? - Um die Syntax und Semantik von UML 2 zu vermitteln. - Um Richtlinien an die Hand zu geben, welche der 13 (!) Diagramme von UML 2 wann wie eingesetzt werden sollen. - Um die Stärken und Schwächen der Notation aufzuzeigen. - Um ein Nachschlagewerk für die praktische Arbeit zur Verfügung zu stellen. - Um dem Leser die Verwendung der Originaldokumentation zu erleichtern, indem auch die Konzepte des Metamodells illustriert werden. - Um das Zusammenspiel von UML-Konzepten und MDA (model-driven architecture) aufzuzeigen - Um darüber hinaus Informationen zu folgenden wichtigen Themen zu liefern: - Modellierungsrichtlinien - Kritische Reflexionen zu UML - Anpassung von UML mit Hilfe von Profilen In deutscher Sprache. 436 pages. 24 x 16,2 x 3 cm Auflage: 3., aktualis. und überarb. A. (Juli 2005).
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, an observer-based technique to verify Esterel and VHDL implementations against CCSL specifications is presented.
Language: French
Published by Editions Notre Savoir, 2021
ISBN 10: 6202752025 ISBN 13: 9786202752022
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Le temps logique est une forme de temps détendue, promue par les langages synchrones, qui est fonctionnelle, élastique (peut être abstraite ou raffinée) et multiforme. Toutes ces propriétés font que le temps logique est adéquat également au moment de la conception, alors que des annotations précises du temps physique ne devraient avoir de l'importance que dans les étapes ultérieures de la synthèse. Le Clock Constraint Specification Language (CCSL) est un langage concret dédié à la modélisation et à l'analyse des propriétés du temps logique. Le CCSL a été initialement défini comme un compagnon pour le modèle temporel du profil UML pour MARTE. Il est maintenant devenu un véritable langage de modélisation spécifique à un domaine pour la capture des relations causales, chronologiques et temporelles. Il devrait compléter d'autres modèles syntaxiques pour saisir leur modèle de calcul sous-jacent. Ce livre commence par décrire les modèles historiques de concurrence qui ont inspiré la construction du CCSL. Ensuite, le CCSL est présenté et utilisé pour construire des bibliothèques dédiées à deux modèles standards émergents dans les domaines de l'automobile (East-ADL) et de l'avionique (AADL). Enfin, une technique basée sur l'observation pour vérifier les implémentations Esterel et VHDL par rapport aux spécifications du CCSL est présentée.