𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - CM-Builder: an automated NL-based CASE tool

✍ Scribed by Harmain, H.M.; Gaizauskas, R.

Book ID: 126796048
Publisher: IEEE
Year: 2000
Weight: 886 KB
Edition: 2000
Category: Article
ISBN-13: 9780769507101
DOI: 10.1109/ase.2000.873649

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Test sequences generation from LUSTRE descriptions: GATEL

✍ Marre, B.; Arnould, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 763 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Combining the best attributes of qualitative and quantitative risk management tool support

✍ Feather, M.S.; Cornford, S.L.; Larson, T.W. 📂 Article 📅 2000 🏛 IEEE ⚖ 415 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - π-SPACE: a formal architecture description language based on process algebra for evolving software systems

✍ Chaudet, C.; Oquendo, F. 📂 Article 📅 2000 🏛 IEEE ⚖ 392 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Identification of potentially infeasible program paths by monitoring the search for test data

✍ Bueno, P.M.S.; Jino, M. 📂 Article 📅 2000 🏛 IEEE ⚖ 990 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An overview of a method and its support tool for generating B specifications from UML notations

✍ Laleau, R.; Mammar, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 358 KB

[IEEE Comput. Soc ASE 2002. 17th IEEE In

[IEEE Comput. Soc ASE 2002. 17th IEEE International Conference on Automated Software Engineering - Edinburgh, UK (23-27 Sept. 2002)] Proceedings 17th IEEE International Conference on Automated Software Engineering, - Predicting software stability using case-based reasoning

✍ Grosser, D.; Sahraoui, H.A.; Valtchev, P. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 259 KB