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:
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.
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.
Demonstrators are expected to provide their own equipment. The conference organisation will provide an Internet connection.