Discussion :

[bilred]

Bonsoir!,

j'aimerais savoir si vous connaissez des liens vers des site internet qui expliquent concrètement le langage spécification. (c'est la phase entre la conception globale et conception détailler)

exemple:
1-spécification d'interface.
2-spécification opérationnelle.
3-spécification de Type Abstrait.

Mon manuel ne possède pas assez d'exemples et d'explications.

Merci beaucoup

[hed62]

Salut,

" le langage spécification"
Je ne pense pas qu'il existe un Unique langage de spécification. Parlerais tu d'OCL, de pseudo code , d'autre chose, ... ?

[bilred]

je suite un débutant dans la matière.

mais je dirai que sa ressemble plus à du pseudo code.

une petit définition que j'ai trouvait:
une Spécification d'une fonction correspond à une définition Abstrait en Terme d'entré et de sortie et de Condition sur c'est entré et sortie.


Merci d'avance.

[hed62]

Du peu que tu en dis... Je te dirigerai vers l'OCL
En vrac :

Les discution parlant d'OCL : http://www.developpez.net/forums/sea...archid=4429872

Le pourquoi de OCL :
http://laurent-audibert.developpez.c...rs-UML023.html

Une "définition"
http://www.developpez.net/forums/d46...finition-docl/

Un cours :
http://www.fil.univ-lille1.fr/~nebut.../coursOcl.html

[hegros]

Ce que tu as trouvais comme définition c'est le principe de spécification par boite noir. Cela relève plus de la discipline d'analyse système. En systémique c'est ainsi on définit des boites avec des entrées et des sorties, il existe 7 ou 9 niveaux de transformation.

On découpe aussi le système par domaine pour faciliter le travail d'analyse. SADT aussi fonctionne ainsi.

[bilred]

Ce que tu as trouvais comme définition c'est le principe de spécification par boite noir. Cela relève plus de la discipline d'analyse système. En systémique c'est ainsi on définit des boites avec des entrées et des sorties, il existe 7 ou 9 niveaux de transformation.

On découpe aussi le système par domaine pour faciliter le travail d'analyse. SADT aussi fonctionne ainsi.

Oui c'est exactement ce que je chercher

si tu à un lien où je peu avoir plus de détaille avec des exemple sur ce sujet exacte parce que je n'entrouvre pas.

Merci d'avance.

ps: Merci comme même à hed62 j'ai apprit qu'il existe OCL il ma bien aider.

[bilred]

Mais après quelque recherche je doit dire que les 2 ce ressembler fortement.

Si quelle qu'un peu proposer des exercice avec corriger si c'est possible.

Merci d'avance.