𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Aligning SysML with the B method to provide V&V for systems engineering

✍ Scribed by Bousse, Erwan; Mentré, David; Combemale, Benoît; Baudry, Benoît; Katsuragi, Takaya

Book ID: 121878883
Publisher: ACM Press
Year: 2012
Weight: 794 KB
Category: Article
ISBN: 1450318010
DOI: 10.1145/2427376.2427379

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the Workshop - Innsbruck, Aus

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Comparing verification techniques for model transformations

✍ Lano, K.; Kolahdouz-Rahimi, S.; Clark, T. 📂 Article 📅 2012 🏛 ACM Press ⚖ 734 KB

[ACM Press the Workshop - Innsbruck, Aus

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Model transformation impact on test artifacts

✍ Eriksson, Anders; Lindström, Birgitta; Andler, Sten F.; Offutt, Jeff 📂 Article 📅 2012 🏛 ACM Press ⚖ 572 KB

[ACM Press the Workshop - Innsbruck, Aus

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Security - MDsec '12 - A model-driven approach for the extraction of network access-control policies

✍ Martínez, Salvador; Cabot, Jordi; Garcia-Alfaro, Joaquin; Cuppens, Frédéric; Cup 📂 Article 📅 2012 🏛 ACM Press ⚖ 375 KB

[ACM Press the 1st International Worksho

[ACM Press the 1st International Workshop - Innsbruck, Austria (2012.10.02-2012.10.02)] Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing - MDHPCL '12 - Model-driven specification of adaptive cloud-based systems

✍ Nagel, Benjamin; Gerth, Christian; Yigitbas, Enes; Christ, Fabian; Engels, Grego 📂 Article 📅 2012 🏛 ACM Press ⚖ 874 KB

[ACM Press the 1st International Worksho

[ACM Press the 1st International Workshop - Innsbruck, Austria (2012.10.02-2012.10.02)] Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing - MDHPCL '12 - Cloud risk analysis by textual models

✍ Zech, Philipp; Felderer, Michael; Breu, Ruth 📂 Article 📅 2012 🏛 ACM Press ⚖ 255 KB

[ACM Press the 6th International Worksho

[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - From UML to Alloy and back again

✍ Shah, Seyyed M. A.; Anastasakis, Kyriakos; Bordbar, Behzad 📂 Article 📅 2009 🏛 ACM Press ⚖ 438 KB