Quelques patrons de raffinement pour le développement de diagrammes de classes UML
| Autor: | Ben Ammar, Boulbaba, Bhiri, Mahamed Tahar, Souquières, Jeanine |
|---|---|
| Přispěvatelé: | Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria), Multimedia, InfoRmation systems and Advanced Computing Laboratory (MIRACL), Faculté des Sciences Economiques et de Gestion de Sfax (FSEG Sfax), Université de Sfax - University of Sfax-Université de Sfax - University of Sfax, Souquières, Jeanine, Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | francouzština |
| Rok vydání: | 2007 |
| Předmět: |
[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]
développement progressif raffinement [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] diagramme de classes Patron UML |
| Zdroj: | 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 |
| Popis: | 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 états de spécifications joue un rôle important. Nous proposons un cadre formel de définition des patrons de raffinement de diagrammes de classes UML. L'utilisation de la méthode B et de son mécanisme de raffinement permet la vérification de la correction des patrons à l'aide des outils supports. Nous illustrons notre proposition par la définition de quelques exemples de patrons et leur application au développement d'une étude de cas. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|