𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Requirements engineering and verification using specification animation

✍ Scribed by Hazel, D.; Strooper, P.; Traynor, O.

Book ID: 126693563
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 50 KB
Category: Article
ISBN-13: 9780818687501
DOI: 10.1109/ASE.1998.732685

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Explaining synthesized software

✍ Van Baalen, J.; Robinson, P.; Lowry, M.; Pressburger, T. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 154 KB

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Management of evolving specifications using category theory

✍ Wiels, V.; Easterbrook, S. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 187 KB

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - ASSISTing exit decisions in software inspection

✍ Miller, J.; Macdonald, F. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 30 KB

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Detection of exclusive OR global predicates

✍ Eunjung Lee, ; Chang-Soon Park, ; Dan-Hyung Lee, 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 141 KB

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Specification-based testing of Ada units with low encapsulation

✍ Reyes, A.A.; Richardson, D.J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 120 KB

[IEEE Comput. Soc 13th IEEE Internationa

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Towards the automated debugging and maintenance of logic-based requirements models

✍ McCluskey, T.L.; West, M.M. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 72 KB