Preface: Volume 82, Issue 6
详细信息    查看全文
  • 作者:Mauro Pezzè
  • 刊名:Electronic Notes in Theoretical Computer Science
  • 出版年:2003
  • 出版时间:September 2003
  • 年:2003
  • 卷:82
  • 期:6
  • 页码:209-210
  • 全文大小:40 K
文摘
Component-based systems are increasingly used in software development. The lack of information about internals at different development stages and the need for optimizing verification and validation require new approaches to test and analysis.

TACoS 2003 provided a forum for discussing techniques, tools, and experiences on testing, analysis and design for testability of components, component based systems, and configurable products. This year, the focus of TACoS was on heterogeneous, modular and configurable embedded systems that share hardware and software resources and are available in several versions.

We received contributions from Australia, Brazil, China, Germany, Greece, Italy, Japan, Poland, Spain, Sweden, the United Kingdom, and the United States, witnessing a strong international interest in the topic. Thanks to the high quality of the submissions, the Program Committee was able to select 19 papers representing the state-of-art in the area.

The workshop was organized as discussion sessions around four major topics: Testing Component Based Systems, Configurability, Analysis and Test of Component Based Real-Time Systems, Specification and Design for Testability. Each topic has been introduced by a brief presentation of related papers followed by a discussion among participants.

The workshop was promoted and organized by the Quack (A Platform for the Quality of New Generation Integrated Embedded Systems) project, an Italian project sponsored by the Ministry of University, Research and Education.

The success of the workshop stimulated the organization of new events. TACoS 2004 will be held in Barcelona as a satellite event of ETAPS 2004. We hope that the core community that met in Warsaw will grow in Barcelona. The official TACoS web site (www.lta.disco.unimib.it/tacos/)will keep updated information about the upcoming events.

Acknowledgments

We would like to thank all authors who submitted their work for presentation at TACoS and participated to the fruitful discussion. We express our gratitude to the Organizing and the Steering Committees of ETAPS, who gave us an excellent support. A special thank to the members of the Program Committee and the many reviewers that supported a smooth and exciting reviewing process. Among all people that contributed to TACoS, we would like to mention Giovanni Denaro and Leonardo Mariani who took care of a variety of aspects of the organization and gave a determinant contribution to the success of the event.

Milan, April 2003 - Mauro Pezzè

Program Committee

Marco Di Natale - Scuola Superiore Sant'Anna di Pisa (Italy)

Alessandro Fantechi - Università degli Studi di Firenze (Italy)

Gerhard Fohler - Malardalen University (Sweden)

Frank van der Linden - University of Amsterdam (The Netherlands)

Angelo Morzenti - Politecnico di Milano (Italy)

Elie Najm - Ecole Nationale Superieure des Telecommunications (France)

Mauro Pezzè - Università degli Studi di Milano Bicocca (Italy)

Paolo Prinetto - Politecnico di Torino (Italy)

Michal Young - University of Oregon (USA)

Alex Orailoglu - University of California in San Diego (USA)

Chantal Robach - Ecole Superieure d'Ingenieurs en Systemes Industriels Avances (France)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700