• W1: CSSE '04 - Cooperative Support for Distributed Software Engineering Processes (Sept 21, T724)
• W2: FMICS '04 - Formal Methods for Industrial Critical Systems (Sept 20 and 21, MZ003B)
• W3: SAPS '04 - Specification and Automated Processing of Security Requirements (Sept 20, T857)
• W4: SEM '04 - Software Engineering and Middleware (Sept 20 and 21, MZ003A)
• W5: WITSE '04 - Intelligent Technologies for Software Engineering (Sept 21, T857)

In addition, the FATES'04 workshop (Formal Approaches to Testing of Software) will be held as a co-located event of ASE'04 on September 21 (Hörsaal 17).

We kindly invite participants of the AISC 2004 conference to participate in the ASE'04 workshops.

Registration and Location
Workshops will be held at the Johannes Kepler University, Linz, Austria. All workshop participants and organisers must register for a workshop. Workshop registrations will be managed centrally by the ASE 2004 organising committee.

Important Dates
Workshop paper submission deadline: June 21, 2004
Workshop paper notification date: July 26, 2004
Final camera-ready copy for proceedings: August 30, 2004

Workshop Co-chairs
George Spanoudakis
Department of Computing
City University
Northampton Square
London EC1V 0HB, UK
gespan@soi.city.ac.uk

Stefan Tai
IBM Research
Thomas J Watson Research Center
P.O. Box 704
Yorktown Heights, NY 10598, USA
stai@us.ibm.com

Workshop proceedings co-ordinator
Christoph Hoyer
Systems Engineering and Automation
Johannes Kepler University Linz
hoc@sea.uni-linz.ac.at

W1: CSSE '04 (Cooperative Support for Distributed Software Engineering Processes)

to be held Tuesday, Sept 21, 9:00-17:30 (1 day)
Room T724, TNF-Turm (building #11 on campus map)

Website http://www.scienzemfn.unisa.it/csse2004

Contact Persons:
Andrea de Lucia, email adelucia@unisa.it
Harald Gall, email gall@ifi.unizh.ch
Schahram Dustdar, email dustdar@infosys.tuwien.ac.at

The new Information & Communication Technologies (ICT) are having a propulsive impact on software organizations that develop and maintain software using teams distributed on different sites. More and more companies are moving from traditional software factory models towards virtual organization models, where independent institutions, departments, and groups of specialized individuals converge in a temporary network with the aim of utilizing a competitive advantage or solving a specific problem. Workflow and computer supported cooperative work technologies are primary enablers for virtual organizations and project teams, as people and institutions in a network make substantially more use of computer mediated channels than physical presence to interact and cooperate to achieve their objectives. This workshop will gather practitioners and researchers from academia, industry, and government, to review the current state of the practice, to report on, and to present issues and solutions in the area of computer supported cooperative methodologies, technologies, and tools applied to distributed software engineering (DSE) processes.

W2: FMICS '04 (Formal Methods for Industrial Critical Systems)

to be held Monday, Sept 20 and Tuesday, Sept 21, 2004 (2 days)
Room MZ 003B, Managementzentrum (building #16 on campus map)

Website http://www.fmics04.cclrc.ac.uk

Contact Persons:
Juan Bicarregui, email J.C.Bicarregui@rl.ac.uk
Andrew Butterfield, email Andrew.Butterfield@cs.tcd.ie 
Alvaro Arenas, email A.E.Arenas@rl.ac.uk

The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the
improvement of formal methods and tools for industrial applications.

Topics include, but are not restricted to:
- tools for the design and development of formal descriptions;
- verification and validation of complex, distributed, real-time systems and embedded systems;
- verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability;
- case studies and project reports on formal methods related projects with industrial participation (eg. safety critical systems, mobile systems, object-based distributed systems);
- application of formal methods in standardization and industrial forums.

W3: SAPS '04 (Specification and Automated Processing of Security Requirements)

to be held Monday, Sept 20, 9:00-17:30 (1 day)
Room T857, TNF-Turm (building #11 on campus map)

Website: http://www.lcc.uma.es/SAPS04

Contact Persons:
Antonio Maña, email amg@lcc.uma.es
Carsten Rudolph, email Carsten.Rudolph@sit.fraunhofer.de

Security and reliability issues are rarely considered at the initial stages of software development. The fact that security engineering techniques are not integrated within software engineering processes has very negative consequences in the security of the software systems being deployed. Security engineering techniques, often based on formal methods, increase the level of confidence in the design and implementation of security-critical systems. However, these techniques are not tightly related with the software being deployed. On the other hand, software engineering tools and processes lack precise semantics and provide no support for security-related requirements and properties. Furthermore, the use of automated tools is essential for the analysis and deployment of secure systems. The objective of SAPS is to foster exchange of ideas among practitioners, researchers and industry involved in the deployment of secure systems. The main topic of SAPS is the inclusion of security issues into the software development process with a strong focus on security requirements specification and validation assisted by automated tools. Special emphasis will be devoted to promote discussion and interaction between researchers and practitioners. The exchange of concepts, prototypes, research ideas, and other results contributing to both academic and industrial communities, is of particular interest.

W4: SEM '04 (Software Engineering and Middleware)

to be held Monday, Sept 20 and Tuesday, Sept 21, 9:00-17:30 (2 days)
Room MZ 003A, Managementzentrum (building #16 on campus map)


Website: http://www.infosys.tuwien.ac.at/SEM2004/

Contact Persons:
Thomas Gschwind, email tom@infosys.tuwien.ac.at
Cecilia Mascolo, email c.mascolo@cs.ucl.ac.uk

The goal of middleware is to provide an integration framework for multiple and potentially diverse computing platforms. Middleware allows developers to engineer distributed applications more easily, providing abstractions and primitives to handle distribution and coordination. Today's advances in computing, including development of pervasive applications, exacerbates the diversity problem, introducing variations not only in terms of performance, but also in terms of environments and device characteristics. Software Engineers are therefore challenged both in the area of development of new and scalable middleware systems, where open, heterogeneous, component-based platforms should provide richer functionality and services, and in the area of application development, where tools to simplify the use of middleware solutions are necessary. SEM 2004 is the premier workshop that brings together the research and practice community of software engineering working in both areas. SEM 2004 is the fourth international workshop on software engineering and middleware of the EDO/SEM workshop series. Previous workshops of this series were successfully held in 1999, 2000, and 2002

W5: WITSE '04 (Intelligent Technologies for Software Engineering)

to be held Tuesday, Sept 21, 9:00-17:30 (1 day)
Room T857, TNF-Turm (building #11 on campus map)

Website: http://www-dse.doc.ic.ac.uk/witse04

Contact Persons:
Alessandra Russo, email ar3@doc.ic.ac.uk
Artur Garcez, email aag@soi.city.ac.uk
Tim Menzies, email tim@menzies.us

The Intelligent Technologies for Software Engineering (WITSE2004) Workshop is intended to provide a forum for the presentation and discussion of a wide range of topics related to the applicability of (new) intelligent technologies to requirements engineering problems. In particular, the aim of this workshop is to bring together researchers from academia and industry, and practitioners working in the areas of computational intelligence and requirements engineering to discuss existing issues, recent developments, applications, experience reports, and software tools of intelligent technologies in all aspects of requirements engineering.

Topics include, but are not restricted to:
- Intelligent methods of requirements analysis and evolution.
- Machine learning for change management and risk assessment.
- Intelligent approaches for inconsistency management of requirements specifications.
- Intelligent architectures for requirements evolution.
- Intelligent techniques for supporting the integration of requirements and architectures specifications
- Intelligent technologies for traceability management.
- Data Mining and Information Retrieval applied to requirements engineering.

FATES '04 (Formal Approaches to Testing of Software)

to be held Tuesday, Sept 21, 2004, 9:00-17:30, (1 day)
Hörsaal 17, Managementzentrum (building #16 on campus map)

Website: http://fates.cs.auc.dk/

Contact Persons:
Jens Grabowski, email grabowski@informatik.uni-goettingen.de
Brian Nielsen, email bnielsen@cs.auc.dk