L'Int Gration de Formalismes Dans Le D Veloppement Logiciel

Author:   Thouraya Bouabana-Tebibel
Publisher:   Editions Universitaires Europeennes
ISBN:  

9786131593369


Pages:   352
Publication Date:   04 October 2011
Format:   Paperback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $340.56 Quantity:  
Add to Cart

Share |

L'Int Gration de Formalismes Dans Le D Veloppement Logiciel


Add your own review!

Overview

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 .

Full Product Details

Author:   Thouraya Bouabana-Tebibel
Publisher:   Editions Universitaires Europeennes
Imprint:   Editions Universitaires Europeennes
Dimensions:   Width: 15.20cm , Height: 2.00cm , Length: 22.90cm
Weight:   0.517kg
ISBN:  

9786131593369


ISBN 10:   6131593361
Pages:   352
Publication Date:   04 October 2011
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ls

Shopping Cart
Your cart is empty
Shopping cart
Mailing List