𝔖 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. - Decompositional veri .cation of component-based systems - a hybrid approach

✍ Scribed by Gaoyan Xie,

Book ID: 120553148
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 250 KB
Category: Article
ISBN-13: 9780769521312
DOI: 10.1109/ASE.2004.1342779

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. - Modeling behavior in compositions of software architectural primitives

✍ Mehta, N.R.; Medvidovic, N.; Sirjani, M.; Arbab, F. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 257 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 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. - Using relation algebra for the analysis of petri nets in a CASE tool based approach

✍ Fronk, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 587 KB