1. BackgroundFor 21 years the annual ACM SAC Symposium on Applied Computing has presented the most recent developments in applied computing. The quality of the underlying Software Engineering methods is crucial for the success of nearly all recent developments in other related fields. For this reason, Software Engineering will be an integrated part of the ACM-SAC 2006 symposium again. The Software Engineering Track aims at providing researchers and practitioners with an embedded forum to present and discuss their ideas about and experiences of improving SE processes, models, reliability, verification methods and CASE tools, as well as new SE development concepts and fundamental paradigms. At the occasion of the 21st SAC Symposium we want to focus on special problems often observed at the beginning of our 21st Century: How can the "classical" discipline of Software Engineering contribute to Computer System Safety and Security in the context of Web-based and Distributed Applications? We're expecting a variety of answers to this question, but preferably any of these answers should come with a strong emphasis on methodologically sound solutions, possibly through application of Formal Methods. Previous editions of the Software Engineering Track at ACM-SAC have been regarded as successful - revised post proceedings of our Track have been published in journals - and the progress shall be continued in future.
2. TopicsThe nature and practice of Software Engineering has undergone considerable changes during the past few years: The classical Waterfall Paradigm of software development gets more and more attacked by the Agile Methods paradigm in the context of Xtreme Programming. New SE paradigms have been developed for Agent- and Component based systems, and Aspect Oriented development will possibly overtake the classical Object Orientated development as the leading industrial software practice in near future. In a somewhat contrary movement, the application of Formal Methods became a widely acknowledged and accepted "ingredient" to the qualitative improvement of software development within the framework of the classical Waterfall Paradigm, and we are also observing the emergence of Xtreme Modelling through combining Formal Methods with the development principles of Xtreme Programming. Yet we have the feeling that the notorious Software Crisis is still far away from being solved as the hardware structures, onto which the software is about to be installed, are evolving increasingly faster in the context of the internet and ubiquitous computing. Especially System Safety and Security are causing much concern in these days: How can these topics be addressed in the "language" and under the perspective of Software Engineering? For this reason we are seeking Original Work and Significant Industrial Experience Reports especially (but not exclusively) on the following topics:
- Academic Challenge: Does the introduction of Formal Methods in all phases of the Software Development Cycle really result in safer Software Products?
- Industrial Challenge: Does the introduction of ISO-Standardised and Certified Software Development Processes really lead to safer Software Products?
- Requirements Engineering: System Security as Premier Requirement
- New Notations to capture the Notion of System Safety and Security
- System Security through Sound Software Architecture: Do Flexibility and Security contradict each other?
- Aspect-Oriented Software Engineering: Aspects of Security and Separations of Concern
- Safety-Oriented Software Engineering for Small Devices and Ubiquitous Computing
- Software Testing, Validation and Verification
- Project Planning and Development Process Management
- Model-Driven Architecture and Interface Design
- Rapid Prototyping and Performance Estimations
- Software Metrics, Cost Estimations and Benchmarking
- Software Reuse and Component-Based Development
- CASE Tools and Artificial-Intelligence-Assisted Software Development
- Real-Time Embedded Systems
- Software Reliability Model and Implementation
- Software Fault Tolerance and Software Availability
- Reengineering for Safety and Security
- High-Level Programming and Software Engineering for Massive-Parallel Computing and Cellular Automata
3. Call for PapersUnpublished Original Papers and/or significant Experience Reports from Academia and/or Industry, with a strong emphasis on sound solutions and/or Formal Methods (see Section 5), are sought in the above indicated areas of Software Engineering. Submitted papers should not be longer than about 4000 words. Papers should be submitted as PDF or PostScript Files via eCMS. (In case you experience technical problems with the eCMS system please contact the eCMS administrator Jeff Allen.) For a double-blind review process (see Section 4) of the draft papers, authors' names and affiliation should appear on a separate front-sheet, not in the body of their submitted draft. For Dates and Deadlines see Section 9.
4. Terms and Conditions of Review and PublicationEach submitted paper will be carefully reviewed in a double-blind process according to the ACM-SAC Regulations by at least three independent reviewers. Paper selection will be based solely on the usual criteria of scientific quality, and not on any kind of personal discrimination. Upon acceptance of their paper, prospective authors must provide a revised, camera-ready version of their paper which takes into account the comments made by the anonymous reviewers, and which strictly obeys the type setting and layout regulations of the ACM-SAC proceedings scheme. Papers that do not conform to these layout rules cannot be accepted. For a paper to be printed in the Conference Proceedings it is, moreover, mandatory that at least one author of that paper is registered for conference attendance. According to our experience from previous years, the Acceptance Rate is about 1/3 (one out of three).
5. EndorsementsSAC-SE-06 is part of an official ACM event and is, moreover, officially endorsed by the EASST (European Association for Software Science and Technology) as well as FME (Formal Methods Europe). Both EASST and FME have Official Representatives from their Boards in the SAC-SE-06 Programme Committee (see Section 7).
6. Committment to All Regions of the WorldSAC-SE-06 is fully committed to a One World Policy which strongly encourages paper sumbissions from all regions of the world, including the developing countries. To implement this policy in practice, SAC-SE-06 has appointed several dedicated Regional Ambassadors (see Section 7) who shall encourage communication between SAC-SE-06 and prospective paper authors, especially from the developing regions of the world.
7. Track Chairs, Regional Ambassadors and Official Representatives
- Sung Shin : Track Chair, and Regional Ambassador for North-America and East-Asia
- Stefan Gruner : Track Chair, and Regional Ambassador for Europe
- Joao Cangussu : Regional Ambassador for Latin-America
- Mohamed Mosbah : Regional Ambassador for North-Africa and West-Asia
- Derrick Kourie : Regional Ambassador for India and South-Africa
- John Fitzgerald : Official Representative and Chairman of FME
- Tiziana Margaria : Official Representative and President of EASST
8. Scientific Programme Commitee
- Sung Shin, South-Dakota State University (USA)
- Stefan Gruner, Swansea Institute at the University of Wales (GB)
- Markus Roggenbach, University of Wales at Swansea (GB)
- John Fitzgerald, University of Newcastle (GB)
- Andy Gravell, University of Southampton (GB)
- Tiziana Margaria, Georg-August-Universität Göttingen (D)
- Horst Lichter, Rheinisch-Westfälische Technische Hochschule Aachen (D)
- Thomas Noll, Rheinisch-Westfälische Technische Hochschule Aachen (D)
- Herbert Kuchen, Westfälische Wilhelms-Universität Münster (D)
- Katharina Mehner, Technische Universität Berlin (D)
- Ulrich Ultes-Nitsche, Universite de Fribourg (CH)
- Mohamed Mosbah, Universite de Bordeaux (F)
- Susana Munoz-Hernandez, Universidad Politecnica de Madrid (E)
- Derrick Kourie, Universiteit van Pretoria (ZA)
- Horst Clausen, New-Mexico Institute of Mining and Technology at Socorro (USA)
- Joao Cangussu, University of Texas at Dallas (USA)
- Eric Wong, University of Texas at Dallas (USA)
- E.K. Park, University of Missouri at Kansas City (USA)
- Haklin Kimm, East Stroudsburg University of Pennsylvania (USA)
- Chang-Oan Sung, Indiana University Southeast (USA)
- I.Y. Song, Drexel University (USA)
- Y.H. Lee, Arizona State University (USA)
- Dongwon Lee, Pennsylvania State University (USA)
- Rex Gantenbein, University of Wyoming (USA)
- J.M. Hong, Kwang-Wun University (KR)
- S.G. Lee, Seoul National University (KR)
- Jenny Li, Avaya Laboratories (com)
- Nico Plat, West Consulting B.V. (com)
9. Important Dates and Deadlines