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

Univ Europeenne - EAN : 9786131593369

Thouraya Bouabana-Tebibel

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9786131593369

Paru le : 4 oct. 2011

98,00 € 92,89 €

Epuisé

Pour connaître votre prix et commander, identifiez-vous

Manquant sans date

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9786131593369
Réf. éditeur : 5416592
Editeur : Univ Europeenne
Date Parution : 4 oct. 2011
Disponibilite : Manque sans date
Barème de remise : NS
Nombre de pages : 352
Format : H:220 mm L:150 mm
Poids : 518gr
Interdit de retour : Retour interdit

Résumé

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é.
Biographie : Docteur d'état en informatique de l'USTHB en coopération avec l'université Paris 6. Elle enseigne à l'école ESI d'Alger. Elle a dirigé l'école doctorale en Sciences et Technologies de l'Information et de la Communication en Algérie. Elle a publié près de 40 articles dans des conférences et revues internationales reconnues.