Istituto di Scienza e Tecnologie dell'Informazione     
Duce D., Duke D., Faconti G., Herman I. The changing face of standardization: a place for formal methods?. In: Formal Aspects of Computing, vol. 11 pp. 1 - 20. BCS, 1999.
Many of the reported experiences in the industrial use of formal methods concern the development of products or product families, where the utility of the method is linked to direct savings in development costs or improved assurance of quality. However, one other area in which formal description techniques make a valuable contribution is in the development and documentation of International Standards, where the cost of using formal methods can be paid o both through increased quality of products that implement a given standard, and through the improved inter-operability of di erent implementations that comes from having a precise de nition of the expected behaviour of a conforming implementation. Standards development, however, has some signi cant di erences from product development, and comes with speci c needs and constraints that a ect the use of formal description techniques. This paper describes the role that formal methods played in the development of a new standard for distributed multimedia presentation. It describes a number of issues that arose from this experience, and which have longer term importance for formal methods in standards, particularly given the changes that are taking place in the way that standards are developed.
Subject Standards
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional