𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 AGILE Conference - Nashville, TN, USA (2010.08.9-2010.08.13)] 2010 Agile Conference - An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

✍ Scribed by Ge, Xiaocheng; Paige, Richard F.; McDermid, John A.

Book ID: 120245404
Publisher: IEEE
Year: 2010
Weight: 261 KB
Category: Article
ISBN: 142447731X
DOI: 10.1109/AGILE.2010.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 AGILE Conference - Nashville,

[IEEE 2010 AGILE Conference - Nashville, TN, USA (2010.08.9-2010.08.13)] 2010 Agile Conference - Classes of Distributed Agile Development Problems

✍ Kajko-Mattsson, Mira; Azizyan, Gayane; Magarian, Miganoush Katrin 📂 Article 📅 2010 🏛 IEEE ⚖ 277 KB

[IEEE 2010 AGILE Conference - Nashville,

[IEEE 2010 AGILE Conference - Nashville, TN, USA (2010.08.9-2010.08.13)] 2010 Agile Conference - The Impact of Organization, Project and Governance Variables on Software Quality and Project Success

✍ Abbas, Noura; Gravell, Andrew M.; Wills, Gary B. 📂 Article 📅 2010 🏛 IEEE ⚖ 207 KB

[IEEE 2010 IEEE/ACIS 9th International C

[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Model-Based Dynamic Cost Estimation and Tracking Method for Agile Software Development

✍ Kang, Sungjoo; Choi, Okjoo; Baik, Jongmoon 📂 Article 📅 2010 🏛 IEEE ⚖ 505 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - An approach for design and formal verification of safety-critical software

✍ Wei-gang Ma, ; Hei, Xin-hong 📂 Article 📅 2010 🏛 IEEE ⚖ 618 KB