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.
Comments
Information & Contributors
Information
Published In
November 2005
482 pages
ISBN:1581139934
DOI:10.1145/1101908
- General Chair:
- David Redmiles,
- Program Chairs:
- Tom Ellman,
- Andrea Zisman
Copyright © 2005 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 07 November 2005
Check for updates
Qualifiers
- Article
Conference
ASE05: International Conference on Automated Software Engineering 2005
November 7 - 11, 2005
CA, Long Beach, USA
Acceptance Rates
Overall Acceptance Rate 82 of 337 submissions, 24%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 236Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in