𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Verifying feature-based model templates against well-formedness OCL constraints

✍ Scribed by Czarnecki, Krzysztof; Pietroszek, Krzysztof

Book ID: 121368955
Publisher: ACM Press
Year: 2006
Weight: 297 KB
Category: Article
ISBN-13: 9781595932372
DOI: 10.1145/1173706.1173738

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 5th international confere

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Refactoring product lines

✍ Alves, Vander; Gheyi, Rohit; Massoni, Tiago; Kulesza, Uirá; Borba, Paulo; Lucena 📂 Article 📅 2006 🏛 ACM Press ⚖ 372 KB

[ACM Press the 5th international confere

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - A dynamic aspect-oriented system for OS kernels

✍ Yanagisawa, Yoshisato; Kourai, Kenichi; Chiba, Shigeru 📂 Article 📅 2006 🏛 ACM Press ⚖ 243 KB

[ACM Press the 10th ACM international co

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Pragmatics for formal semantics

✍ Danvy, Olivier 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 551 KB

[ACM Press the 10th ACM international co

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Application of model based development to flexible code generation

✍ Shubert, Gary J. 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 109 KB

[ACM Press the 10th ACM international co

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Towards automatic generation of formal specifications to validate and verify reliable distributed systems

✍ Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter 📂 Article 📅 2011 🏛 ACM Press ⚖ 793 KB