𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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, - VIATRA - visual automated transformations for formal verification and validation of UML models

✍ Scribed by Csertan, G.; Huszerl, G.; Majzik, I.; Pap, Z.; Pataricza, A.; Varro, D.

Book ID: 121228611
Publisher: IEEE Comput. Soc
Year: 2002
Weight: 242 KB
Category: Article
ISBN-13: 9780769517360
DOI: 10.1109/ASE.2002.1115027

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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, - Generative design patterns

✍ MacDonald, S.; Szafron, D.; Schaeffer, J.; Anvik, J.; Bromling, S.; Tan, K. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 488 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, - Generating expected results for automated black-box testing

✍ Schroeder, P.J.; Faherty, P.; Korel, B. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 324 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

[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 - 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 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