Bonjour, je suis en train de faire des recherche sur le(s) langage(s)de spécification mais je ne trouve rien qui ne me satisfasse.
En fait je cherche a quoi sert un langage de spécification, et des exemples... Enfin ce que vous savez et que je ne sait pas (ce qui risque pas d'être compliqué puisque je ne sait rien)...
 
merci a tous  

ZOLTAN !

???????
je vois bien la référence au film mais pas à ma demande....

Je crois que ça sert à valider la définition de process avec des méthodes formelles.
Par exemple je crois que la ligne automatisée du métro parisien, la ligne 14, a eu une partie de son système de conduite validé par ce langage de spécification.
Ca sert aussi dans le monde des telecoms il me semble.

Donc çà serait un langage qui marcherai quelque soit le langage de programation utilisé un peu comme l'algoritmique quoi??...je sais qu'il y a plusieurs langage de spécification, mais alors pourquoi???

Ok  
 
Langage de spécification , est  un algo  lien entre LA MATHÉMATIQUE  
ET L'INFORMATIQUE souvent utilisée pour exprimer la logique et vérifier le typage des relations ( fonction )  
et en plus éclaircir les idées informatiques  
 
POUR PLUS D'INFO  http://lacl.univ-paris12.fr/cervel [...] index.html

Pour s'assurer que tes procédures font ce qu'elles doivent faire, tout ce qu'elles doivent faire, et rien de plus que ce qu'elles doivent faire. Le Z est en l'honneur de Zermelo, un mathématicien fondateur de la théorie des ensembles.
Une page relativement introductive: http://www.csci.csusb.edu/dick/samples/z.html
A+,