Les techniques de spécification formelle comme support à l'intégration des
différents modèles intervenant dans le processus de conception des systèmes
interactifs. 

Philippe Palanque et Rémi Bastide

Le but de cette présentation est de montrer comment les techniques de
spécification formelle peuvent concourrir à une conception cohérente des
systèmes interactifs. Cette cohésion résulte d'une utilisation généralisée
de techniques de spécification formelle comme support pour la description
des différents modèles à construire. 
Nous ne revendiquons pas ici l'utilisation d'une seule technique de
spécification formelle pour l'ensemble des modèles mais plutôt
l'utilisation, pour chacun des modèles, de la notation la plus adaptée. La
cohérence dans la conception sera assuurée par le développement de
techniques de mise en concordance des différents modèles. 
Notre approche en fondée sur l'utilisation de techniques de spécification
formelles (TSF) déclaratives pour les phases amont du cycle de
développement et de TSF procédurales pour les phases aval du cycle.