Table des matières
3 relations: Java Modeling Language, Jean-Marie Leclair, Programmation par contrat.
Java Modeling Language
Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat.
Voir JML et Java Modeling Language
Jean-Marie Leclair
Jean-Marie Leclair, né le à Lyon, paroisse Saint-Nizier, et mort assassiné le à Paris, est un violoniste et compositeur français de la période baroque.
Voir JML et Jean-Marie Leclair
Programmation par contrat
La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles.

