Florence, Congress Center
January 24 - 26, 1996

Organized by QUALITAL and IEI-CNR
in cooperation with CESVIT

Sponsored by IFIP WG5.4

CONFERENCE ORGANIZATION

General Chair: Giacomo Bucci - U. of Florence - I

Program Chair: Sandro Bologna - ENEA - I

Program co-Chairs:
Motoei Azuma -- Waseda U. - Japan
Edward Miller -- Software Research - USA

The Objective of the AQuIS conference series is to provide a platform for technology and knowledge transfer between academia, industry and research institutions, in the software quality field by:

-- providing a forum for the introduction and discussion of new research results in software quality;
-- providing the practicing quality engineers exposure to the results of ongoing research;
-- providing the research community exposure to the problems of practical applications.

AQuIS'96 continues in that tradition. The final program will include presentations of research papers and experience reports, invited talks and state of arts reports in the field of software quality. In addition, AQuIS'96 will try for the first time to address specifically the topic of knowledge-based systems (KBS) quality and the impact of object-oriented technology on quality. The development of KBS technology has created a strong interest in applying this technology to critical applications. There is a growing interest to the problem of assuring KBS quality and some of the good ideas from conventional software quality could be transferred to KBS quality. Object oriented technology has pervaded the entire field of software engineering, changing the way in which programs are specified and developed. While much research has been performed on object-oriented programming, little has been said on its impact on quality.

Submission are invited in the following areas:

-- Why so little progress in software quality engineering ?
-- Why so little progress in quantitative evaluation of quality attributes ?
-- Industrial interest to software quality.
-- Software quality vs. software development process and tools.
-- Software quality vs. software engineers skills and management.
-- Software quality vs. formal methods.
-- Software quality vs. empirical methods.
-- Conventional software systems verification, validation, testing.
-- Issues in KBS quality, verification, validation and testing.
-- KBS quality vs. conventional software systems quality.
-- Impact of object-oriented programming on software quality.
-- Quality of object-oriented systems.
-- Design for quality.
-- Quality management.
-- Quality standards.
-- Tools for managing quality.

Instructions for Authors: Four copies (in English) of original work, limited to 12 pages (5000 words), must reach the Conference Secretariat before April 3rd, 1995. Papers must include a short abstract and a list of keywords, the author's address, phone and telefax number and E-mail address. All papers received will be refereed by the International Program Committee, and each paper will be reviewed by at least three independent referees. Final accepted papers will be published in the Conference Proceedings. Best papers will be selected for publications in a special issue of *The Journal of Systems and Software* (Eslevier Science Inc., New York) later after the conference.

Scientific Conference Secretariat/Contact Address

Silvia Lucci CESVIT - I
Fortezza da Basso, Palazzina Lorenese,
Viale Strozzi 1,
50129, Firenze, Italy
Tel.: +39-55-46190 ---- Fax.: +39-55-485345
e-mail: AQUIS96@AGUIRRE.ING.UNIFI.IT

IMPORTANT DATES

January 2nd, 1995 Submission of one-page abstracts
February 1st, 1995 Notification of conditional acceptance
April 3rd, 1995 Full paper submission deadline
June 30th, 1995 Notification of final acceptance
September 1st, 1995 Camera Ready Copy due

Program Committee

Vincenzo Ambriola U.of Pisa - I
Paolo Ancilotti SSSUP S.Anna - I
Patrizia Asirelli IEI-CNR - I
Gualtiero Bazzana ETNOTEAM - I
Antonia Bertolino IEI-CNR - I
Fernando Brito e Abreu INESC - P
Maurizio Campanai CESVIT - I
Alan Davis U.of Colorado - USA
Cristophe Debou Alcatel - A
Giuseppe Di Lucca U.of Naples - I
Giovanni Dipoppa ENEA - I
Wolfgang Ehrenberger U.of Fulda - D
Norman Fenton City University - UK
Karol Fruhauf Infogem - CH
Tsuneo Furuyama NTT - Japan
Mario Fusani IEI-CNR - I
Marco Giromini Qualital - I
Robert Glass Computing Trends - USA
James Hemsley Braumer - UK
Brian Henderson-Sellers U. of Sidney - AUS
Brice Lepape CEC DG.III - B
Pedro Meseguer U.of Cataluna - SP
Paolo Nesi U.of Florence - I
Stefano Nocentini IBM-SEMEA - I
Marian Pivka U.of Maribor - SL
Alun Preece U.of Savoie - F
Stuart Robinson RAL - UK
Terence Rout Griffith U. - Australia
Jeanine Souquieres CRIN-CNRS INRIA - F
Tor Stalhane SINTEF - N
Jaak Tepandi U.of Tallin - ES

Copyrights Conditions: the material submitted for presentation at an IFIP meeting must be original and not published before. Copyright of material presented at an IFIP meeting is held by IFIP. Accepted papers will appear in the Conference Proceedings which will be published by Chapman & Hall. The Proceedings will be distributed during registration.