𝔖 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. - Model-based verification of Web service compositions

✍ Scribed by Foster, H.; Uchitel, S.; Magee, J.; Kramer, J.

Book ID: 120535936
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 440 KB
Category: Article
ISBN-13: 9780769520353
DOI: 10.1109/ASE.2003.1240303

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. - 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. - VUML: a viewpoint oriented UML extension

✍ Nassar, M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 232 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 International Conferen

[IEEE Comput. Soc International Conference on Software Maintenance - Montreal, Que., Canada (3-6 Oct. 2002)] International Conference on Software Maintenance, 2002. Proceedings. - Case study on software engineering practices with Parnas tables

✍ Wu, Z.L. 📂 Article 📅 2002 🏛 IEEE Comput. Soc 🌐 English ⚖ 248 KB