𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

✍ Scribed by de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul

Book ID
118024905
Publisher
Springer Berlin Heidelberg
Year
2004
Tongue
English
Weight
467 KB
Edition
1
Category
Article
ISBN
3540301011

No coin nor oath required. For personal study only.

✦ Synopsis

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 development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Web
[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Verified Reference Implementations of WS-Security Protocols
✍ Bravetti, Mario; NΓΊΓ±ez, Manuel; Zavattaro, Gianluigi πŸ“‚ Article πŸ“… 2006 πŸ› Springer Berlin Heidelberg 🌐 English βš– 349 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 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