𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Formalization of software testing criteria using the Z notation

✍ Scribed by Vilkomir, S.A.; Bowen, J.P.

Book ID: 120068356
Publisher: IEEE
Year: 2001
Tongue: English
Weight: 573 KB
Edition: 25
Category: Article
ISBN-13: 9780769513720
DOI: 10.1109/CMPSAC.2001.960638

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 25th Annual International Computer

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Melanoma prediction using data mining system LERS

✍ Grzymala-Busse, P.; Grzymala-Busse, J.W.; Hippe, Z.S. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 527 KB

[IEEE 25th Annual International Computer

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Requirement-based automated black-box test generation

✍ Tahat, L.H.; Vaysburg, B.; Korel, B.; Bader, A.J. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 692 KB

[IEEE 25th Annual International Computer

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Formal and use-case driven requirement analysis in UML

✍ Li, X.; Liu, Z.; He, J. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 858 KB

[IEEE Comput. Soc 24th Annual Internatio

[IEEE Comput. Soc 24th Annual International Computer Software and Applications Conference. Compsac 2000 - Taipei, Taiwan (25-27 Oct. 2000)] Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000 - Monitoring software components and component-based software

✍ Gao, J.; Zhu, E.Y.; Shim, S.; Lee Chang, 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 1001 KB

[IEEE Comput. Soc. Press Proceedings COM

[IEEE Comput. Soc. Press Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference - Chicago, IL, USA (5-7 Oct. 1988)] Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference - Contextual knowledge for summarizing Japanese texts and generating English sentences

✍ Sato, T.; Aoe, J.-I.; Yasutome, S. 📂 Article 📅 1988 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 110 KB

[IEEE Proceedings of the 28th Annual Int

[IEEE Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Hong Kong (28-30 Sept. 2004)] Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Automated consistency and completeness checking of testing models for interactive systems

✍ Paradkar, A.; Klinger, T. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 295 KB