𝔖 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. - Verifying interactive web programs

✍ Scribed by Licata, D.R.; Krishnamurthi, S.

Book ID: 121874382
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 337 KB
Category: Article
ISBN-13: 9780769521312
DOI: 10.1109/ASE.2004.1342734

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

✍ Mehta, N.R.; Medvidovic, N.; Sirjani, M.; Arbab, F. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 257 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. - Analysis, testing and re-structuring of web applications

✍ Ricca, F. 📂 Article 📅 2004 🏛 IEEE ⚖ 252 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 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. - DDFgraph: a tool for dynamic data flow graphs visualization

✍ Balmas, F. 📂 Article 📅 2004 🏛 IEEE ⚖ 521 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. - Detection strategies: metrics-based rules for detecting design flaws

✍ Marinescu, R. 📂 Article 📅 2004 🏛 IEEE ⚖ 503 KB