𝔖 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) - Management of evolving specifications using category theory

✍ Scribed by Wiels, V.; Easterbrook, S.

Book ID: 126675851
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 187 KB
Category: Article
ISBN-13: 9780818687501
DOI: 10.1109/ASE.1998.732561

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) - Requirements engineering and verification using specification animation

✍ Hazel, D.; Strooper, P.; Traynor, O. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 50 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) - An automated framework for structural test-data generation

✍ Tracey, N.; Clark, J.; Mander, K.; McDermid, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 129 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