Object-Oriented Programs

Une approche par raffinement pour le développement correct de programmes orientés objets Résumé : Le concept de raffinement, notion importante des méthodes formelles, permet le développement de logiciels corrects par construction.Il a été utilisé, avec succès, pour la production de code de haute qua... View More