Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
Contenu archivé le 2024-04-19

From Fuzzy to Formal

Objectif

The goal of the F3 project is to produce a set of models and techniques designed to improve requirements acquisition and its transformation into validated system specification. This set will be supported by an RE workbench, a working environment and general facilities for managing the RE process and reusing earlier work.
The conceptual core a requirements engineering (RE) framework has been elaborated. It consists of a set of interrelated models that can be used for representing the various parts of the knowledge needed by requirement engineers, either on the enterprise environment or on the target information system (data, dialogue, human computer interaction (HCI), and technical nonfunctional requirement modelling). Linkages between submodels are provided so checking consistency of requirement choices is made possible. Modelling facilities include formal and executable languages designed to be directly interpreted by rapid prototyping tools. A generic decision trace mechanism is described which allows requirement engineers to record significant decisions whichever part of the RE process is concerned. A model for identifying reusable requirements engineering components is also provided.

An architecture for RE case tool interoperability has been defined, based upon software bus (R) technology; it provides a working environment able to integrate multiple tools and supporting common facilities (session management, cross referencing, decision trace). In such a way integrated views of requirement components are made available.

First demonstrators have been achieved, especially a knowledge based system for analysing conflicting requirements, and prototyping tools (data intensive system prototyper, user interface generator).
The techniques involved include the simultaneous use of formal and informal notations with conversion both ways, the explicit modelling of the environment of the computerised system, the ability to integrate compatible viewpoints and to negotiate incompatible ones, the tracking of RE decisions and assistance in analysing their consequences, and the validation of the requirements specification by techniques such as rapid prototyping of the various layers of an application (database access, dialogue, human computer interface) in a multi-system environment.

Champ scientifique (EuroSciVoc)

CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.

Vous devez vous identifier ou vous inscrire pour utiliser cette fonction

Programme(s)

Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.

Thème(s)

Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.

Données non disponibles

Appel à propositions

Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.

Données non disponibles

Régime de financement

Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.

Données non disponibles

Coordinateur

Sema Group SA
Contribution de l’UE
Aucune donnée
Adresse
16-20 rue Barbes
92126 Montrouge
France

Voir sur la carte

Coût total

Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.

Aucune donnée

Participants (10)

Mon livret 0 0