𝔖 Bobbio Scriptorium

✦ LIBER ✦

Using domain specific languages to instantiate object-oriented frameworks

✍ Scribed by Fontoura, M.; Braga, C.; Moura, L.; Lucena, C.

Book ID: 118683758
Publisher: The Institution of Electrical Engineers
Year: 2000
Tongue: English
Weight: 765 KB
Volume: 147
Category: Article
ISSN: 1462-5970
DOI: 10.1049/ip-sen:20000791

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Object-Orientation to Formal Methods Volume 2635 || Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Object-Orientation to Formal Methods Volume 2635 || Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB

[ACM Press the 2002 ACM symposium - Madr

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Automated conversion from requirements documentation to an object-oriented formal specification language

✍ Lee, Beum-Seuk; Bryant, Barrett R. 📂 Article 📅 2002 🏛 ACM Press ⚖ 441 KB

[ACM Press Proceeding of the 24th ACM SI

[ACM Press Proceeding of the 24th ACM SIGPLAN conference companion - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 - Using RESTful web-services and cloud computing to create next generation mobile applications

✍ Christensen, Jason H. 📂 Article 📅 2009 🏛 ACM Press ⚖ 489 KB