2nd Workshop on the state of the art in automated software engineering

ABSTRACT

The 2nd Workshop on the State of the Art in Automated Software Engineering took place on the 27 th of July 2005, at City University, London - UK. During the workshop there were seven presentations about various aspects concerning the theory and practice of automating the software engineering process. The presentations generated interesting discussions among the participants of the workshop. The title, name of the speaker, and abstract of each presentation are given below in the order that they were presented during the workshop. We would like to take this opportunity to thank all the presenters and participants of the workshop who helped make the day possible and interesting. [2] S. Ishtiaq, P. O'Hearn, BI as an Assertion Language for Mutable Data Structures, In the Proceedings of the 28th Annual ACM Symposium on Principles of Programming Languages, ACM, 2001. [3] J. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures, In the Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2002. Recent Evolutions of the Tobias Combinatoria.