Méthodologie pour le développement de spécifications de systèmes informatiques (MeDiCiS)

Période

1993-1995

Mots clés

specification du logiciel, methodologie du développement de programmes, systèmes composites

Description

Bien que la construction et l'amélioration des langages de spécification soient motivées par des soucis méthodologiques implicites, une étude systématique et explicite de la méthodologie associée au développement de spécifications devait être entreprise. Un langage pour exprimer et combiner les méthodes de développement est nécessaire.

Unités

• Pôle sémantique, logique et calcul (ISLC)
• PReCISE Research Center (PRECISE)

Axes de recherche

• Requirements Engineering and Business-IT Alignment
• Sémantique des langages informatiques

Staff (contrats terminés)

Financement

• Commission européenne, DGXII

Pour plus d'information