Language Constructs for Describing Features

Proceedings of the FIREworks workshop

  • Stephen Gilmore
  • Mark Ryan
Conference proceedings

Table of contents

  1. Front Matter
    Pages I-X
  2. Kenneth J. Turner
    Pages 1-9
  3. Karim Berkani, Pascale Le Gall, Francis Klay
    Pages 45-64
  4. Dominique Cansell, Dominique Méry
    Pages 65-84
  5. Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
    Pages 85-103
  6. Christophe Gaston, Marc Aiguier, Pascale Le Gall
    Pages 105-124
  7. Stephen Gilmore, Jane Hillston
    Pages 125-142
  8. Maritta Heisel, Jeanine Souquières
    Pages 143-162
  9. D. Samborski
    Pages 177-196
  10. T. Yoneda, T. Ohta
    Pages 197-211
  11. Back Matter
    Pages 233-233

About these proceedings


A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.


Feature Interaction Formal Description Techniques Pascal Software Engineering Turing algorithms communication design formal methods language logic software telecommunications validation verification

Editors and affiliations

  • Stephen Gilmore
    • 1
  • Mark Ryan
    • 2
  1. 1.Laboratory for Foundations of Computer ScienceThe University of EdinburghEdinburghScotland
  2. 2.School of Computer ScienceUniversity of BirminghamEdgbastonEngland

Bibliographic information