𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Model Checking Security Pattern Compositions

✍ Scribed by Dong, Jing; Peng, Tu; Zhao, Yajing

Book ID: 126741026
Publisher: IEEE
Year: 2007
Weight: 406 KB
Category: Article
ISBN-13: 9780769530352
DOI: 10.1109/QSIC.2007.4385483

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Testing against Natural Language Requirements

✍ Sneed, Harry M. 📂 Article 📅 2007 🏛 IEEE ⚖ 325 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Developing Adaptive Software with Multiple QoS Requirements

✍ Yau, Stephen S. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 52 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Test-Based Specifications of Components and Systems

✍ Hamlet, Dick 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 956 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - On the Collaborative Development of Para-Consistent Conceptual Models

✍ Bagheri, Ebrahim; Ghorbani, Ali A. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 315 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Cohesion Metrics for Predicting Maintainability of Service-Oriented Software

✍ Perepletchikov, Mikhail; Ryan, Caspar; Frampton, Keith 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 393 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - AOP Based Trustable SLA Compliance Monitoring for Web Services

✍ Chen, Congwu; Li, Lei; Wei, Jun 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 305 KB