𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Reasoning about pointers in refinement calculus

✍ Scribed by Back, R.-J.; Xiaocong Fan, ; Preoteasa, V.

Book ID: 126738287
Publisher: IEEE
Year: 2003
Tongue: English
Weight: 329 KB
Category: Article
ISBN-13: 9780769520117
DOI: 10.1109/APSEC.2003.1254398

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Fault tolerant web service

✍ Deron Liang, ; Chen-Liang Fang, ; Chyouhwa Chen, ; Fengyi Lin, 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 375 KB

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Blueprint for real progress in software engineering

✍ Meyer, B. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 183 KB

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Developing relational navigation to effectively understand software

✍ Jarrott, D.; MacDonald, A. 📂 Article 📅 2003 🏛 IEEE ⚖ 304 KB

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Facilitating reuse of software components using repository technology

✍ Jihyun Lee, ; Jinsam Kim, ; Gyu-Sang Shin, 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 590 KB

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Specification matching of state-based modular components

✍ Hemer, D. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 299 KB

[IEEE Tenth Asia-Pacific Software Engine

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - A SCM workflow model for CMM organizations

✍ Seawlho, P.; Suwannasart, T. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 312 KB