Objective
The concept of feature has emerged in the software industry as a crucial structuring mechanism for evolving systems. A feature is a part or aspect of a system which the user perceives as having a self-contained functional role; eg an optional add-on.
FIREworks will address the problem of adding features to specifications of complex software products, in particular software for telecommunications services. It will provide a feature-oriented approach to software design including requirements specification languages and verification logics, as well as method for their usage.
The results will be exploited and disseminated by the following means; (a) a WWW page containing technical reports, bibliographies etc; (b) an annual brochure which will be produced for distribution to relevant European companies; (c) publication in scientific journals and conferences; (d) publication of the proceedings of the third workshop; (e) each partner will disseminate to its local industrial supporter.
The results of the WG are expected to be a contribution to the "feature interaction problem" which has arisen in the telecommunications industry, but will also be relevant to the design and maintenance of many other software product types. To guarantee industrial relevance, each academic partner is supported by a local industrial company which is involved in the production of feature-oriented software and which will provide case studies.
FIREworks will investigate each of a list of specification languages and logics, and determine which are capable of being extended with the notion of feature. It will extend those determined to be capable, with the feature notion. The existing verification techniques accompanying the language or logics will be adapted for features. By considering case studies provided by the industrial supporters, we will assess the usefulness of the extended languages and techniques, and use them to detect feature interactions. We will develop techniques for selecting test scenarios, in order to detect and witness interactions and to test specifications.
The WG relates strongly to two concurrent Esprit projects: ASPIRE and RENOIR, and (via their common partners) will interact with those projects and inform each other of results.
The activities of the WG will be: an Initial Meeting and three annual Workshops (the Workshops are also open to industrial supporters; the second and third also open to outsiders, selected on the basis of submission); four or five Working Meetings per year on specialised topics; Working Visits from one partner to another for more detailed or specialist work; email correspondence between partners; and Validation Meetings held between partners and their industrial supporters.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
- natural sciencescomputer and information sciencessoftware
- engineering and technologyelectrical engineering, electronic engineering, information engineeringinformation engineeringtelecommunications
You need to log in or register to use this function
Topic(s)
Call for proposal
Data not availableFunding Scheme
ACM - Preparatory, accompanying and support measuresCoordinator
B15 2TT BIRMINGHAM
United Kingdom