𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm

✍ Scribed by Ogata, K.; Futatsugi, K.

Book ID: 118222059
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 814 KB
Volume: 0
Category: Article
ISBN-13: 9780769512877
DOI: 10.1109/apaqs.2001.990041

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Computing executable slices for concurrent logic programs

✍ Zhao, J.; Cheng, J.; Ushijima, K. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 841 KB

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - QUIM: a framework for quantifying usability metrics in software quality models

✍ Seffah, A.; Kececi, N.; Donyaee, M. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 713 KB

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Assurance of conceptual data model quality based on early measures

✍ Genero, M.; Piattini, M.; Calero, C. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 624 KB

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Special requirements for software process improvement applied in teleworking environments

✍ Guo, H. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 952 KB

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - A specific software development process for an electronic commerce portal

✍ Gruhn, V.; Schope, L.; Book, M. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 840 KB

[IEEE Comput. Soc Second Asia-Pacific Co

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Object-oriented program behavior analysis based on control patterns

✍ Chung-Chien Hwang, ; Shih-Kun Huang, ; Deng-Jyi Chen, ; Chen, D.T.K. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 628 KB