Call for Formal Tool Demonstrations

Software Engineering is concerned with the analysis, design, implementation, testing and maintenance of large software systems. Automated software engineering is concerned with computational means to automate or partially automate software engineering tasks to achieve significant improvements in software quality and productivity. The IEEE International Conference on Automated Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools and applications of automated software engineering technology. The Formal Tool Demonstrations track is an important part of the conference with the goal to allow live presentation of new tool developments.

Tools are central to automated software engineering. Hence, formal tool demonstrations will have a prominent role within the conference. We solicit proposals for formal tool demonstrations related to automated software engineering. Tools can range from alpha-versions to fully developed products that are being prepared for commercialisation. Commercial products and products that are currently being commercialised cannot be accepted. Formal demonstrations are intended to highlight scientific contributions, and consequently should not be sales pitches. For further clarification, please contact the Formal Tool Demonstrations Chairs.

We want to specially encourage submitting tool demonstration proposals in addition to full scientific papers. Whereas the scientific paper is intended to give the background information and point out the scientific contribution of a new automated software engineering approach, the tool demonstration provides a good opportunity to show how the scientific approach has been transferred into a running tool prototype.

How to submit

Submissions of proposals for formal tool demonstrations must:

• adhere to the conference proceedings format (for guidelines see http://computer.org/cspress/instruct.htm)

• have a maximum of 2 pages that describe the technology or approach, how it relates to other industrial or research efforts, including references, and what are the expected benefits

• have an appendix (not included in the 2 page count) that provides a detailed description of how the presentation will be conducted (possibly illustrated with a number of snapshots), information on tool availability and maturity in addition to a web-page for the tool (if one exists)

• be submitted before the Formal Tool Demonstrations submission deadline

• sent by email to the Tool Demonstration Chairs Sebastian Uchitel and Herbert Prähofer.

Review Process

The Formal Tool Demonstrations Committee will review each submission using the standard ASE criteria, which are originality and importance of contribution, soundness of rationale, quality of written and graphic presentation, and appropriate consideration of relevant literature.

Presentation

Accepted demonstrations will be allocated 2 pages in the conference proceedings (the proposal appendix will not be included in the proceedings). In addition, 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. Demonstrators are expected to be available to give their demonstrations during those times.

Equipment

Demonstrators are expected to provide their own equipment. The conference organisation will provide an Internet connection.

Demo Chairs

Herbert Prähofer
Johannes Kepler University Linz, Austria
hp@cast.uni-linz.ac.at

Sebastian Uchitel
Imperial College London, UK
s.uchitel@doc.ic.ac.uk