Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
Les notations semi-formelles et formelles semblant complémentaires, leur couplage semble un cadre intéressant pour pouvoir bénéficier de leurs avantages respectifs tout en diminuant leurs points faibles. En effet, d'une part, les notations semi-formelles qui pêchent par leur précision sont de b...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2000
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00006742 http://tel.archives-ouvertes.fr/docs/00/04/70/45/PDF/tel-00006742.pdf |