𝔖 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. - Architecture style-based calculi for non-functional properties

✍ Scribed by Wile, D.S.

Book ID: 121292632
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 234 KB
Category: Article
ISBN-13: 9780769520353
DOI: 10.1109/ASE.2003.1240325

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. - 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. - 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. - Specification and synthesis of hybrid automata for physics-based animation

✍ Ellman, T. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 293 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 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