Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B
A ce jour, les méthodes formelles ont montré qu'elles étaient applicables avec succès au développement de logiciels industriels. Pour maîtriser la complexité croissante de ces applications, la mise en oeuvre des paradigmes d'abstraction et de composition est incontournable. La méthode B pe...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2002
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00004580 http://tel.archives-ouvertes.fr/docs/00/04/60/72/PDF/tel-00004580.pdf |