Automated Software Engineering 2008: Call for Research Tool Demonstrations [Tools based on automated theorem proving that have applicability to some area of software engineering are welcome.]
http://www.di.univaq.it/ase2008/page.php?id=6&id_menu=9 Software Engineering is concerned with the analysis, design, implementation, testing, and maintenance of software systems. Automated software engineering focuses on how to automate these tasks in order to achieve improvements in quality and productivity. Tool support, therefore, is central to this. The 23nd IEEE/ACM International Conference on Software Engineering (L'Aquila, Italy, 15-19 September 2008) invites submissions for its tool demonstrations track. The ASE tool demonstrations track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of automated software engineering with the goal of allowing live presentation of new research tools. Tools can range from research prototypes to in-house or pre-commercialized products. The demonstrations are intended to highlight underlying scientific contributions. Whereas a scientific paper is intended to give the background information and point out the scientific contribution of a new software engineering approach, the tool demonstration provides a good opportunity to show how the scientific approach has been transferred into a working tool. Demonstrators will be expected to give a presentation that will be scheduled into the conference program. There will also be a demonstration area open to attendees at scheduled times during the conference, during which demonstrators are expected to be available. Accepted demonstrations will be allocated 2 pages in the main conference proceedings. Presentation at the conference is a requirement for publication. Authors of regular research papers are also welcome to submit an accompanying tool paper. Submissions of proposals for formal tool demonstrations must: - adhere to the conference proceedings format http://www.computer.org/portal/pages/ieeecs/publications/cps/cps_forms.html - have a maximum of 2 pages that describe the technology or approach, how it relates to other industrial or research efforts, including references, and describe what the expected benefits are - have an appendix (not included in the 2 page count) that provides a brief description of how the presentation will be conducted (possibly illustrated with a number of snapshots or other multimedia content), information on tool availability and maturity in addition to a web-page for the tool (if one exists). Submission should be sent via email to the track organizers. Important Dates: - Paper submission: May 15, 2008 - Notification: June 9, 2008 - Camera-ready papers: July 3, 2008 - Conference: September 15-19, 2008 For further clarification, please contact the Tool Demonstration co-chairs: Ewen Denney [EMAIL PROTECTED] RIACS / NASA Ames (USA) Patricia Lago [EMAIL PROTECTED] VU University Amsterdam (The Netherlands) ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
