Uml work (20 résultats)

Etat : 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.

Paperback. Etat : Good. "An excellent hands-on book for practitioners eager to document the internal structure and everyday workings of business processes. This clear and practical book belongs on the shelf of everyone dedicated to mapping, maintaining, and streamlining business processes.

paperback. Etat : 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.

Paperback. Etat : Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Paperback. Etat : Very Good. Business Patterns w/UML (OMG): Business Patterns at Work 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. .…

Etat : 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.

Paperback. Etat : 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.…

Etat : 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.

Broschiert. Etat : 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.…

Hard Cover. Etat : 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.

Taschenbuch. Etat : 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.…

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Etat : Neu. Logical Time [at] Work pour la modélisation et l'analyse des systèmes embarqués | Fondements du modèle temporel UML/MARTE | Frédéric Maillet | Taschenbuch | Französisch | 2021 | Editions Notre Savoir | EAN 9786202752022 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …

Etat : Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Keine Beschreibung verfügbar.

Hardcover. Etat : 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).…

paperback. Etat : Gut. Seiten; 9783898641944.3 Gewicht in Gramm: 1.

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Etat : 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.…

Taschenbuch. Etat : 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.…