Méthodologie de programmation, publiée par Zhejiang University Press.
Table des matières
Chapitre 1 Introduction à la méthodologie de programmation 1.1 L'émergence de la méthodologie de programmation 1.2 Contenu de base de la méthodologie de programmation
Chapitre 2 Théorie de base de la méthodologie de programmation 2.1 Théorème structurel 2.1.1 Procédures structurées 2.1.2 Théorème structurel 2.2 Preuve de l'exactitude du programme 2.2.1 Notions de base 2.2.2 Méthode de preuve d'exactitude partielle 2.2.3 Méthode de preuve de terminabilité 2.3 Types de données abstraits 2.3.1 Notions de base 2.3.2 Spécification algébrique des types de données abstraits
Chapitre 3 Méthodologie de programmation structurée 3.1 Aperçu de la programmation structurée 3.2 Programmation structurée 3.2.1 Rechercher progressivement le raffinement 3.2.2 Programmation invariante
Chapitre 4 Méthodologie de programmation orientée objet 4.1 Aperçu des programmes orientés objet 4.1.1 L'émergence et le développement de la technologie orientée objet 4.1.2 Principes de l'abstraction orientée objet 4.1.3 Modèle d'informatique orientée objet 4.2 Principes de base de la programmation orientée objet réutilisable 4.2.1 Principe d'ouverture et de fermeture (OCP) 4.2.2 Principe de substitution de Liskov (LSP) 4.2.3 Principe d'inversion de dépendance (DIP) 4.2.4 Loi de Déméter (LOD) 4.2.5 Principe de responsabilité unique (SRP) 4.3 Programmation paradigmatique 4.3.1 Concepts de base 4.3.2 Itérateurs, objets fonctions et conteneurs 4.3.3 Exemples 4.4 Modèles de conception 4.4.1 Notions de base 4.4.2 Modèle créationnel 4.4.3 Modèle structurel 4.4.4 Modèles de comportement 4.5 Références pour des exemples de programmation orientée objet …
