Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes
La spécification est une étape primordiale au cours du développement de systèmes dans un cadre rigoureux. Lorsqu'elle est formelle, elle confère de bonnes qualités au système et rend possible l'obtention de systèmes corrects. Ainsi, les spécifications formelles suivent l'analyse des e...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes / Gwen Salaün; sous la dir. de Mourad Oussalah |
Publié : |
[S.l.] :
[s.n.]
, 2003 |
Description matérielle : | 194 p. |
Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2003 |
Sujets : | |
Documents associés : | Reproduit comme:
Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
LEADER | 03025cam a2200481 4500 | ||
---|---|---|---|
001 | PPN074077651 | ||
003 | http://www.sudoc.fr/074077651 | ||
005 | 20240829055200.0 | ||
029 | |a FR |b 2003NANT2023 | ||
035 | |a (OCoLC)491814470 | ||
100 | |a 20030915d2003 k y0frey0103 db | ||
101 | 0 | |a fre |d fre |d eng |2 639-2 | |
102 | |a FR | ||
105 | |a ||||m ||||| | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
200 | 1 | |a Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes |f Gwen Salaün |g sous la dir. de Mourad Oussalah | |
210 | |a [S.l.] |c [s.n.] |d 2003 | ||
215 | |a 194 p. |d 30cm | ||
316 | |5 441092104:184828996 |a Titre temporairement indisponible à la communication | ||
320 | |a Bibliogr. p. 133-149 | ||
328 | 0 | |b Thèse de doctorat |c Informatique |e Nantes |d 2003 | |
330 | |a La spécification est une étape primordiale au cours du développement de systèmes dans un cadre rigoureux. Lorsqu'elle est formelle, elle confère de bonnes qualités au système et rend possible l'obtention de systèmes corrects. Ainsi, les spécifications formelles suivent l'analyse des exigences informelles du cahier des charges et sont la base du développement. Un problème est que tous les aspects des systèmes complexes ne peuvent ni être spécifiés ni être vérifiés avec un seul formalisme. Nous proposons donc plusieurs approches qui visent à spécifier des systèmes en se basant sur des techniques de spécification intégrée. Nous nous focalisons particulièrement sur l'intégration de langages dédiés aux aspects statiques (les données et leurs opérations) et aux aspects dynamiques (la séquentialité des événements, la concurrence, le parallélisme, etc)... | ||
371 | 1 | |a Publication autorisée par le jury | |
456 | | | |0 246693525 |t Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes |f Gwen Salaün |d 2003 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [ Grenoble thèses] | |
606 | |3 PPN031718728 |a Formalisme (mathématiques) |2 rameau | ||
606 | |3 PPN027682005 |a Langages formels |2 rameau | ||
608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
686 | |a 004 |2 TEF | ||
700 | 1 | |3 PPN069135029 |a Salaün |b Gwen |f 1977-.... |4 070 | |
701 | 1 | |3 PPN078822319 |a Oussalah |b Mourad-Chabane |4 727 | |
711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
711 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
801 | 3 | |a FR |b Abes |c 20220120 |g AFNOR | |
979 | |a SCI | ||
915 | |5 441092104:184828996 |b 1161529906 | ||
930 | |5 441092104:184828996 |b 441092104 |j g | ||
991 | |5 441092104:184828996 |a Exemplaire modifié automatiquement le 18-07-2024 18:35 | ||
998 | |a 31681 |