Item – Theses Canada

​
OCLC number
32019013
Author
Ben Mohamed Sghaier, Salah,1966-
Title
Les spécifications relationnelles sans variables
Degree
Thèse (M. Sc.)--Université Laval, 1993.
Publisher
Ottawa : National Library of Canada = Bibliothèque nationale du Canada, 1994.
Description
2 microfiches
Notes
No de commande UMI00452546 de University Microfilms.
Comprend des références bibliographiques
Abstract
La taille des programmes et les problemes de maintenance ont mis en evidence la necessite de promouvoir l'abstraction des donnees et les specifications formelles des logiciels. A cet effet, une multitude de methodes de specification ont vu le jour, chacune tendant a sa maniere d'apporter une solution satisfaisante. Parmi elles se detachent les specifications relationnelles. Les specifications relationnelles repondent d'une facon pratique et naturelle aux exigences de la discipline d'ingenierie dans le domaine de la programmation et elles constituent une des solutions les plus prometteuses dans le domaine du genie logiciel. Dans ce memoire, nous presentons les principes de l'approche relationnelle ayant comme base mathematique l'algebre relationnelle. Nous demontrons l'importance de cette approche a l'aide de plusieurs exemples pratiques. Ceux-ci montrent que les specifications relationnelles permettent un traitement naturel des fonctions partielles, de la propagation d'erreurs et du non determinisme. En plus, cette etude nous permet aussi de souligner l'importance de l'utilisation des plus petits points fixes, et du principe d'induction de Scott pour la demonstration de certaines proprietes des types de donnees specifies. Finalement, plusieurs qualites de l'approche relationnelle sont montrees et comparees a celles de l'approche algebrique pour resoudre les memes problemes.
ISBN
0315855339
9780315855335