✦ LIBER ✦

Integrating UML and Formal Methods

✍ Scribed by Rafael Magalhães Borges; Alexandre Cabral Mota

Book ID: 108126831
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 335 KB
Volume: 184
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.03.017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating a formal method into a softw

Integrating a formal method into a software engineering process with UML and Java

✍ Michael Möller; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 826 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 || An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation

✍ Butler, Michael; Petre, Luigia; Sere, Kaisa 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 241 KB

UML Automatic Verification Tool with For

UML Automatic Verification Tool with Formal Methods

✍ M. Encarnación Beato; Manuel Barrio-Solórzano; Carlos E. Cuesta; Pablo de la Fue 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Formal concepts for an integrated intern

Formal concepts for an integrated internal model of the UML

✍ Martin Große-Rhode 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 168 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] 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,