L'intégration de formalismes dans le développement logiciel

Uml au coeur du multi-formalisme

Thouraya Bouabana-Tebibel - Collection Omn.univ.europ.

352 pages, parution le 04/10/2011

Ajouter à une liste

Indisponible

Résumé

UML subit des reproches incessants sur le manque de ses fondements formels. L'imprécision de sa sémantique complique la vérification des modèles quand la correction des spécifications devient une condition incontournable en génie logiciel. Reconnues pour leurs fondements théoriques rigoureux, les langages formels sont à même de répondre à ce besoin. Ils sont toutefois peu utilisés en raison de leur complexité. Aussi, pour rallier convivialité et rigueur, de nombreuses équipes de recherches s'activent autour de la sémantique d'UML dans le but de lui conférer des bases solidement construites. La principale motivation de cette étude a été, tout le long de son développement, de parvenir à une modélisation UML valide sans obligation de maîtrise, pour le concepteur UML, des techniques formelles usitées en pareille situation. Cet objectif, plutôt ambitieux, ouvre de larges horizons sur la sémantique des langages et l'analyse des modèles qui en découlent. La méthodologie que nous proposons apporte plusieurs contributions. Sa principale originalité apparaît dans le large spectre de diagrammes qu'elle intègre, de façon complémentaire, pour produire un modèle unique formellement vérifié.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Editions universitaires européennes
Auteur(s)	Thouraya Bouabana-Tebibel
Collection	Omn.univ.europ.
Parution	04/10/2011
Nb. de pages	352
Format	15 x 22
Couverture	Broché
Poids	518g
EAN13	9786131593369