𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Formal verification problems in a big data world: towards a mighty synergy

✍ Scribed by Camilli, Matteo

Book ID: 124153251
Publisher: ACM Press
Year: 2014
Weight: 254 KB
Category: Article
ISBN: 1450327680
DOI: 10.1145/2591062.2591088

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Socio-technical coordination (keynote)

✍ Herbsleb, James 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 216 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Modeling self-adaptive software systems with learning petri nets

✍ Ding, Zuohua; Zhou, Yuan; Zhou, MengChu 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 454 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Development context driven change awareness and analysis framework

✍ Sarma, Anita; Branchaud, Josh; Dwyer, Matthew B.; Person, Suzette; Rungta, Neha 📂 Article 📅 2014 🏛 ACM Press ⚖ 233 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Development context driven change awareness and analysis framework

✍ Sarma, Anita; Branchaud, Josh; Dwyer, Matthew B.; Person, Suzette; Rungta, Neha 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 233 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Process mining software repositories from student projects in an undergraduate software engineering course

✍ Mittal, Megha; Sureka, Ashish 📂 Article 📅 2014 🏛 ACM Press ⚖ 896 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Improving enterprise software maintenance efficiency through mining software repositories in an industry context

✍ Mani, Senthil 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 193 KB