✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7212 || Language-Theoretic Abstraction Refinement

✍ Scribed by de Lara, Juan; Zisman, Andrea

Book ID: 118172420
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 264 KB
Category: Article
ISBN: 3642288723
DOI: 10.1007/978-3-642-28872-2_25

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 2984 || Consistent Adaptation and Evolution of Class Diagrams during Refinement

✍ Wermelinger, Michel; Margaria-Steffen, Tiziana 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Refi

[Lecture Notes in Computer Science] Refinement Techniques in Software Engineering Volume 3167 || Refinement: An overview

✍ Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 428 KB

[Lecture Notes in Computer Science] Grap

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2880 || Graph-Based Approaches to Software Watermarking

✍ Bodlaender, Hans L. 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 199 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Language Engineering Volume 5969 || Yet Another Language Extension Scheme

✍ Brand, Mark; Gašević, Dragan; Gray, Jeff 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 146 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The Second International Conference On Software Language Engineering, Sle 2009, Held In Denver, Co, Usa, In October 2009. The 15 Revised Full Papers And 6 Revised Short Paper Presented Together With 2 Tool Demonstration Pap

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Formal Analysis and Verification of Self-Healing Systems

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4961 || Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

✍ Fiadeiro, José Luiz; Inverardi, Paola 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 588 KB