𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Linz, Austria (Sept. 20-24, 2004)] Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Modeling behavior in compositions of software architectural primitives

✍ Scribed by Mehta, N.R.; Medvidovic, N.; Sirjani, M.; Arbab, F.

Book ID: 121278021
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 257 KB
Category: Article
ISBN-13: 9780769521312
DOI: 10.1109/ASE.2004.1342767

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. 19th International Co

[IEEE Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Linz, Austria (Sept. 20-24, 2004)] Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Verifying interactive web programs

✍ Licata, D.R.; Krishnamurthi, S. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 337 KB

[IEEE Proceedings. 19th International Co

[IEEE Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Linz, Austria (Sept. 20-24, 2004)] Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Decompositional veri .cation of component-based systems - a hybrid approach

✍ Gaoyan Xie, 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 250 KB

[IEEE 20th IEEE International Conference

[IEEE 20th IEEE International Conference on Software Maintenance, 2004. Proceedings. - Chicago, IL, USA (11-14 Sept. 2004)] 20th IEEE International Conference on Software Maintenance, 2004. Proceedings. - UML-based reverse engineering and model analysis approaches for software architecture maintenance

✍ Riva, C.; Selonen, P.; Systa, T.; Jianli Xu, 📂 Article 📅 2004 🏛 IEEE ⚖ 325 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. - 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 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 Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Past- and future-oriented time-bounded temporal properties with OCL

✍ Flake, S.; Mueller, W. 📂 Article 📅 2004 🏛 IEEE ⚖ 371 KB