Object-Oriented Programs:
Published in Princeton University Press eBooks • Oct 30, 2011
Abstract
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...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!