Quelques patrons de raffinement pour le développement de diagrammes de classes UML

Autor: Ben Ammar, Boulbaba, Bhiri, Mahamed Tahar, Souquières, Jeanine

Publikováno v: Actes du 6ème atelier OCM-SI
6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID
6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p

12 pages; National audience; Le concept de raffinement est un élément clé dans les approches formelles pour le développement de logiciels et a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents état

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9338f1c4eeaee2e4c0d181cbeaaf2dd0
https://hal.archives-ouvertes.fr/hal-00182740/file/OCM-benammar.pdf