Loading...
Please wait, while we are loading the content...
Similar Documents
Un environnement formel pour le développement d'applications bases de données
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mammar, Amel |
| Copyright Year | 2002 |
| Abstract | Ce travail presente une approche formelle pour le developpement d'applications bases de donnees sures. Cette approche consiste en la generation d'une implementation relationnelle a partir de specifications formelles. On decrit prealablement l'application a l'aide de notations UML, puis un processus automatique est applique afin de les traduire en specifications B. En utilisant le processus de raffinement, un ensemble de regles de raffinement; operant sur les donnees et les operations, est utilise sur les specifications obtenues. Ces phases de raffinement ont pour but de rendre les specifications proches du langage d'implementation cible choisi, la derniere phase de codage devient intuitive et naturelle. De maniere generale, le raffinement est manuel, relativement couteux, en particulier en phase de preuve. Grâce au caractere generique de ces regles de raffinement, un outil de raffinement assiste peut etre realise, permettant la reduction du cout du processus de raffinement. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://www.researchgate.net/profile/Amel_Mammar/publication/229056504_Un_environnement_formel_pour_le_dveloppement_d'applications_bases_de_donnes/links/0deec52281ccbaedc4000000.pdf |
| Alternate Webpage(s) | https://projet.liris.cnrs.fr/inforsid/sites/default/files/a347c1ZlIfqMVNApo.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
