✦ LIBER ✦

[ACM Press the International Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the International Workshop on Formalization of Modeling Languages - FML '10 - An executable semantics for UML 2 activity diagrams

✍ Scribed by Knieke, Christoph; Goltz, Ursula

Book ID: 120598149
Publisher: ACM Press
Year: 2010
Weight: 214 KB
Category: Article
ISBN: 1450305326
DOI: 10.1145/1943397.1943400

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the International Workshop -

[ACM Press the International Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the International Workshop on Formalization of Modeling Languages - FML '10 - An executable semantics for UML 2 activity diagrams

✍ Knieke, Christoph; Goltz, Ursula 📂 Article 📅 2010 🏛 ACM Press ⚖ 214 KB

Since the revision 2 of the UML, activity diagrams have acquired many new features and a completely new metamodel. UML 2 was targeted at improving semantic precision but still lacks an executable semantics as a basis for tool support and simulation. In this paper we define an executable step semanti

[ACM Press the 1st Workshop - Maribor, S

[ACM Press the 1st Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the 1st Workshop on Testing Object-Oriented Systems - ETOOS '10 - When agile meets OO testing

✍ Goeschl, Siegfried; Herp, Matthias; Wais, Clemens 📂 Article 📅 2010 🏛 ACM Press ⚖ 539 KB

[ACM Press the 1st Workshop - Maribor, S

[ACM Press the 1st Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the 1st Workshop on Testing Object-Oriented Systems - ETOOS '10 - Issues in testing collection class libraries

✍ Wolfmaier, Klaus; Ramler, Rudolf; Dobler, Heinz 📂 Article 📅 2010 🏛 ACM Press ⚖ 283 KB

[ACM Press the 1st Workshop - Maribor, S

[ACM Press the 1st Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the 1st Workshop on Testing Object-Oriented Systems - ETOOS '10 - Testing object-oriented programs using dynamic aspects and non-determinism

✍ Achenbach, Michael; Ostermann, Klaus 📂 Article 📅 2010 🏛 ACM Press ⚖ 162 KB

[ACM Press the 4th Workshop - Maribor, S

[ACM Press the 4th Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance - MASPEGHI '10 - Reverse inheritance in statically typed object-oriented programming languages

✍ Chirilă, Ciprian-Bogdan; Sakkinen, Markku; Lahire, Philippe; Jurca, Ioan 📂 Article 📅 2010 🏛 ACM Press ⚖ 124 KB

[ACM Press the 11th International Confer

[ACM Press the 11th International Conference - Limerick, Ireland (2010.06.21-2010.06.23)] Proceedings of the 11th International Conference on Product Focused Software - PROFES '10 - A process for driving the harmonization of models

✍ Pardo, César; Pino, Francisco J.; García, Félix; Piattini, Mario; Baldassarre, M 📂 Article 📅 2010 🏛 ACM Press ⚖ 284 KB