𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim Status

✍ Scribed by Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.

Book ID
120197533
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
482 KB
Category
Article
ISBN
364235887X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Interleaving Symbolic Execution and Partial Evaluation
✍ Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 340 KB

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to th

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services
✍ de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 467 KB

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further deve