𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools Volume 2185 || A New UML Profile for Real-Time System Formal Design and Validation

✍ Scribed by Gogolla, Martin; Kobryn, Cris

Book ID
121493391
Publisher
Springer Berlin Heidelberg
Year
2001
Weight
271 KB
Category
Article
ISBN
3540454411

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] ≪UML
[Lecture Notes in Computer Science] ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools Volume 2185 || OCL as a Specification Language for Business Rules in Database Applications
✍ Gogolla, Martin; Kobryn, Cris 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 207 KB

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts

[Lecture Notes in Computer Science] ≪UML
[Lecture Notes in Computer Science] ≪UML≫ 2002 — The Unified Modeling Language Volume 2460 || A UML Profile for Real-Time Constraints with the OCL
✍ Jézéquel, Jean-Marc; Hussmann, Heinrich; Cook, Stephen 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 278 KB

Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 6394 || Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
✍ Petriu, Dorina C.; Rouquette, Nicolas; Haugen, Øystein 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 240 KB

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsu