SAMPI - Editeur structuré
1. Le Problème et la Proposition
2. Le Langage Primitif de Représentation Textuelle
2.1. Présentation de la Syntaxe Concrète
2.2. Notations
2.3. Exemple de structuration des données
2.4. Exemple de structuration des traitements
2.5. Exemple de structurations connexes
3. Le Langage Complété pour la Structuration des Textes
3.1. Présentation de la Syntaxe Complétée
3.2. Etude quantitative de l'évolution des programmes
3.3. L'édition syntaxique
3.4. étude de cas : le langage LTR3 et l'atelier ENTREPRISE
4. L'Enrichissement du Langage par de Nouveaux Concepts
4.1. Présentation de la Syntaxe Abstraite
4.2. Les difficultés
4.3. Compléter la Syntaxe
5. La Formalisation des Solutions Techniques
5.1. L'évaluation fonctionnelle
5.2. La structuration par les objets
5.3. Modèle sémantique comparé de l'évaluateur
5.4. Comparaison critique
5.5. Construction de la Syntaxe Abstraite
6. Les Comparaisons avec d'autres Approches
6.1. Les critères
6.2. Le classement
6.3. La structure Plate
6.4. La nature d'Objet structuré
6.5. La nature de Type structuré
6.6. La nature de Classe structurée
6.61. La structure d'Arbre : T.A. (Type Abstrait)
6.62. La structure d'Arbre : la méthode déductive
6.63. La structure d'Arbre : l'environnement monolingual
6.64. La structure d'Arbre : les environnements monolinguaux dédiés
6.65. La structure d'Arbre : la programmation paramétrée
6.66. La structure de Graphe : la programmation "déductive"
6.67. La structure de Graphe : la programmation "inductive"
7. Les Perspectives
8. Les Editeurs
8.0. brisé sur la barrière de la complexité (une fois de plus)
8.1. L'éditeur ligne : Manuel de l'utilisateur
8.2. L'éditeur page : Guide de l'utilisateur
9. Les Aspects d'Implantation
9.1. Contexte d'évaluation
9.2. La Syntaxe Abstraite : Manuel du concepteur
9.3. L'éditeur page : Guide de l'implanteur
Références
Rubrique Perl-Javascript

La nature de Classe structurée

1. La structure d'Arbre : T.A. (Type Abstrait)

2. La structure d'Arbre : la méthode déductive

3. La structure d'Arbre : l'environnement monolingual

4. La structure d'Arbre : les environnements monolinguaux dédiés

5. La structure d'Arbre : la programmation paramétrée

6. La structure de Graphe : la programmation "déductive"

7. La structure de Graphe : la programmation "inductive"

1. La structure d'Arbre : T.A. (Type Abstrait)

Une méthodologie fondée sur les T.A. s'intéresse à des Arbres de Classes :

Arbre : c'est la hiérarchie des Types, grâce à laquelle on définit un T.A. à partir d'autres.

Classe : puisqu'on travaille sur des Types – et non des Objets : on définit des modèles de traitements et non un certain traitement – et qu'on construit dynamiquement ces Types, on se ramène en définitive à travailler sur des Classes ; une Classe terminale correspond à un T.A. prédéfini ; une Classe quelconque est construite à partir d'autres T.A.

L'environnement ASSPRO [Bid 87] travaille sur des spécifications dans le formalisme des T.A. Algébriques. Il offre de plus des outils pour une traduction assistée en langage Ada :

génération automatique d'un squelette de programme Ada ;
assistance dans l'implantation des fonctions Ada (Caty, [BGG 83]) : l'utilisateur applique des stratégies d'affinage que l'environnement traduit par du texte source.

L'environnement Sacso [LPS 87] travaille aussi sur les T.A. L'objectif visé se situe ici en amont de l'environnement ASSPRO : il s'agit d'un outil d'aide à la construction des spécifications, où l'utilisateur devrait pouvoir appliquer ses propres méthodes d'analyse. Le but est de présenter un outil qui assure la validité des spécifications construites mais qui soit suffisamment souple pour laisser à l'utilisateur le choix de ses méthodes d'appréhension d'un problème.