Développement d'applications logicielles sûres de fonctionnement: une approche dirigee par la conception
Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Sciences et Technologies - Bordeaux I
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00839298 http://tel.archives-ouvertes.fr/docs/00/83/92/98/PDF/these_tel.pdf |