𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - VUML: a viewpoint oriented UML extension

✍ Scribed by Nassar, M.

Book ID: 121823353
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 232 KB
Category: Article
ISBN-13: 9780769520353
DOI: 10.1109/ASE.2003.1240341

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Model-based verification of Web service compositions

✍ Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 440 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Parallel breadth-first search LTL model-checking

✍ Barnat, J.; Brim, L.; Chaloupka, J. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 357 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Architecture style-based calculi for non-functional properties

✍ Wile, D.S. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 234 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Specification and synthesis of hybrid automata for physics-based animation

✍ Ellman, T. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 293 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, - VIATRA - visual automated transformations for formal verification and validation of UML models

✍ Csertan, G.; Huszerl, G.; Majzik, I.; Pap, Z.; Pataricza, A.; Varro, D. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 242 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