✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || A Language-Based Approach to Autonomic Computing

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

Book ID: 121079477
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 350 KB
Category: Article
ISBN: 364235887X
DOI: 10.1007/978-3-642-35887-6_2

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 7542 || Towards a Model- and Learning-Based Framework for Security Anomaly Detection

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 568 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || A Formal Approach to Service Component Architecture

✍ Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 705 KB

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such t

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 389 KB

[Lecture Notes in Computer Science] Form

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

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 482 KB

[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

[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