✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Formal Descriptive Semantics of UML

✍ Scribed by Liu, Shaoying; Maibaum, Tom; Araki, Keijiro

Book ID: 120315148
Publisher: Springer Berlin Heidelberg
Year: 2008
Weight: 395 KB
Category: Article
ISBN: 3540881948
DOI: 10.1007/978-3-540-88194-0_23

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 346 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 6447 || Compensable WorkFlow Nets

✍ Dong, Jin Song; Zhu, Huibiao 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 541 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 7635 || Formal Methods in the Aerospace Industry: Follow the Money

✍ Aoki, Toshiaki; Taguchi, Kenji 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 88 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || UML to B: Formal Verification of Object-Oriented Models

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 221 KB

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering X Volume 6038 || Formal Methods in Agent-Oriented Software Engineering

✍ Gleizes, Marie-Pierre; Gomez-Sanz, Jorge J. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 206 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Software Performance Modeling

✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 806 KB