--- 1 ---
Ce livre est consacré à un système
de détection et de correction
d'erreurs de programmation
( cf. Freud, page 4 ).
Paragraphe inséré :
Nos recherches et nos applications se
centrent donc autour de trois
problèmes apparentés :
l'automatisation de la
compréhension, de la correction et
de l'amélioration des programmes.
Ces recherches nous ont amené, à la
--- 2 ---
suite d'une étude systématique des
erreurs, à développer une théorie
des programmes améliorables. Pour
vérifier notre théorie, nous avons
implémenté plusieurs versions d'un
système de compréhension et de
correction de programmes LISP :
PHENARETE ( que nous désignerons
par son initiale PHI dans la suite de
ce texte ).
La construction d'un tel système se
justifie non seulement par l'ubiquité
--- 3 ---
des erreurs durant les processus de
conception, de mise au point et de
maintenance de programme
[Books75], mais aussi par l'aspect
fondamental de ces actes manqués
que sont les erreurs : par
processus intellectuels mis en œuvre
durant leur découverte et leur
correction.
--- 4 ---
Nous savons depuis Sigmund Freud
qu'un mot d'esprit se constitue dans
une structure précise d'altérité,
structure initiale que l'occurrence
de Witz fait évoluer vers une
situation dérivée.
C'est de cette façon que nous
voulons, en programmation,
comprendre l'occurrence de ce Witz
informatique qu'est l'erreur, et la
saisie en tant qu'opérateur de deux
situations de programmation munies
--- 5 ---
de structures précises, que nous
tenterons de rendre explicites. Nous
affirmons dès l'abord que
l'automatisation de la compréhension
de programme ( processus qui sera
la composante fondamentale des
systèmes informatiques du futur )
est inséparable de la compréhension
et de la classification des erreurs
de programmation ( cf. introduction,
page 2, ligne 12 ).
--- 6 ---
Programmation : 1, 4, 4, 5
Référence Brooks : page 3, ligne 4
|
--- 1 ---
Ce livre est consacré à un système
de détection et de correction
d'erreurs de LBL prog1 programmation
( cf. Freud, page PGE freud 4 ).
Paragraphe inséré :
Nos recherches et nos applications se
centrent donc autour de trois
problèmes apparentés :
l'automatisation de la
compréhension, de la correction et
de l'amélioration des programmes.
Ces recherches nous ont amené, à la
--- 2 ---
suite d'une étude systématique des
erreurs, à développer une théorie
des programmes améliorables. Pour
vérifier notre théorie, nous avons
implémenté plusieurs versions d'un
système de compréhension et de
correction de programmes LISP :
PHENARETE ( que nous désignerons
par son initiale PHI dans la suite de
ce texte ).
LBL intro La construction d'un tel système se
justifie non seulement par l'ubiquité
--- 3 ---
des erreurs durant les processus de
conception, de mise au point et de
maintenance de programme
LBL brooks [Books75], mais aussi par l'aspect
fondamental de ces actes manqués
que sont les erreurs : par
processus intellectuels mis en œuvre
durant leur découverte et leur
correction.
--- 4 ---
LBL freud Nous savons depuis Sigmund Freud
qu'un mot d'esprit se constitue dans
une structure précise d'altérité,
structure initiale que l'occurrence
de Witz fait évoluer vers une
situation dérivée.
C'est de cette façon que nous
voulons, en LBL prog2 programmation,
comprendre l'occurrence de ce Witz
informatique qu'est l'erreur, et la
saisie en tant qu'opérateur de deux
situations de LBL prog3 programmation munies
--- 5 ---
de structures précises, que nous
tenterons de rendre explicites. Nous
affirmons dès l'abord que
l'automatisation de la compréhension
de programme ( processus qui sera
la composante fondamentale des
systèmes informatiques du futur )
est inséparable de la compréhension
et de la classification des erreurs
de LBL prog4 programmation ( cf. introduction,
page PGE intro 2, ligne LGN intro 12 ).
--- 6 ---
Programmation : PGE prog1 1, PGE prog2 4, PGE prog3 4, PGE prog4 5
Référence Brooks : page PGE brooks 3, ligne LGN brooks 4
|