Assisting the development of specifications - Archive ouverte HAL Access content directly
Theses Year : 1993

Assisting the development of specifications

Aides au développement de spécifications

(1)
1

Abstract

Not available
Le développement d'une spécification est décrit par une suite d'étapes de développement, une étape se définissant par application d'un operateur sur un état de développement et fournissant un nouvel état de développement. Au cours d'une étape, des décisions sont prises pour résoudre un objectif, ces décisions portant a la fois sur le produit à concevoir (programme ou spécification) et sur la suite des taches à résoudre pour atteindre cet objectif. La définition d'un développement repose sur les concepts essentiels de produit, de plan de travail et d'operateurs de développement: - le produit: le travail du spécifieur est vu comme une suite d'étapes conduisant d'un cahier des charges initial à une première spécification formelle, complète et non ambigüe décrivant les fonctionnalités, le comportement du système visé et les contraintes portant sur son systeme. Un état de produit peut contenir différentes versions d'une ou plusieurs de ses composantes; - le plan de travail désigne un ensemble organisé de taches déjà réalisées ou à réaliser, une tache consistant en un objectif à atteindre; - un operateur de développement désigne un moyen pour atteindre un objectif en faisant évoluer le plan de travail et le produit associé. Le cadre de développement proposé est paramétré par le langage de spécification et permet de traiter la gestion de versions et la réutilisation
Not file

Dates and versions

tel-01753644 , version 1 (29-03-2018)

Identifiers

  • HAL Id : tel-01753644 , version 1

Intranet access

Cite

Jeanine Souquières. Aides au développement de spécifications. Autre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10026⟩. ⟨tel-01753644⟩
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More