B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B.
Les exigences qui s'appliquent aux composants logiciels et aux logiciels embarqués justifient l'utilisation des meilleures techniques disponibles pour garantir la qualité des spécifications et conserver cette qualité lors du développement du code. Les méthodes formelles, et parmi elles la...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00118718 http://tel.archives-ouvertes.fr/docs/00/11/87/18/PDF/theseAkram.pdf |