 |
Méthodes
et spécifications formelles
Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes |
|
Méthodes
et spécifications formelles
Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes |
| Description | Fichiers à récupérer |
| Introduction aux
méthodes formelles
Définitions, diverses approches, méthodes, etc |
introMéthodesFormelles (tar, gzip) |
| Intégration de
Méthodes
Problèmes de l'intégration de différentes méthodes formelles, pistes de solution |
IntégrationMéthodes (tar, gzip) |
| Intégration de
Méthodes
Illustration avec CSP et B Illustration de CCS et données I Illustration de CCS + données II |
..
IntegrCSP2B (tar, gzip) IntegrCCS+donneesI (gzip) IntegrCCS+donnéesII (gzip) |
| Intégration de
Méthodes
Techniques de plongement (embedding) |
Embedding_techniques
(2p/1 tar, gzip)
Embedding_techniques (4p/1 tar, gzip) |
| Intégration
de Méthodes - Présentation générale
en 3h |
Master 2 ALD 2005-2006 Problématique de l'intégration de méthodes formelles |