𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Safe and Secure Software Reuse Volume 7925 || Validating Consistency between a Feature Model and Its Implementation

✍ Scribed by Favaro, John; Morisio, Maurizio

Book ID
120926030
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
548 KB
Category
Article
ISBN
3642389775

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Engi
[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Security Validation of Business Processes via Model-Checking
✍ Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola πŸ“‚ Article πŸ“… 2011 πŸ› Springer Berlin Heidelberg 🌐 English βš– 381 KB

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissio

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || MODIFI: A MODel-Implemented Fault Injection Tool
✍ Schoitsch, Erwin πŸ“‚ Article πŸ“… 2010 πŸ› Springer Berlin Heidelberg 🌐 English βš– 278 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag

[Lecture Notes in Computer Science] Soft
[Lecture Notes in Computer Science] Software Product Lines Volume 2379 || Feature Modeling: A Meta-Model to Enhance Usability and Usefulness
✍ Chastek, Gary J. πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 English βš– 280 KB

Software product lines are emerging as an important new paradigm for so- ware development. Product lines are enabling organizations to achieve impressive time-to-market gains and cost reductions. In 1997, we at the Software Engine- ing Institute (SEI) launched a Product Line Practice Initiative. Our

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computational Science and Its Applications – ICCSA 2005 Volume 3481 || A Security Evaluation and Testing Methodology for Open Source Software Embedded Information Security System
✍ Gervasi, Osvaldo; Gavrilova, Marina L.; Kumar, Vipin; LaganΓ , Antonio; Lee, Heow πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 447 KB

The Four Volume Set Assembled Following The 2005 International Conference On Computational Science And Its Applications, Iccsa 2005, Held In Suntec International Convention And Exhibition Centre, Singapore, From 9 May 2005 Till 12 May 2005, Represents The ?ne Collection Of 540 Refereed Papers Select