Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette
Nous présentons un ensemble de travaux sur l'intégration de méthodes formelles et l'analyse multifacette de systèmes logiciels. %deuxième partie Partant de l'idée que les différentes facettes d'un système doivent être étudiées et développées avec les formalismes et outils appropr...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nantes
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00481602 http://tel.archives-ouvertes.fr/docs/00/48/16/02/PDF/manuscrit_hdr_attiogbe.pdf |