Et accessoirement, les spécifications ne sont pas forcément suffisamment précises pour pouvoir générer du code. Il y a une approche de "raffinement" en spec formelle, représentée par la "Méthode B" par exemple, qui permet une hiérarchie de spécification du plus vague au plus précis pour permettre de justement générer précisément du code. On a pas toujours besoin de savoir ce que fait la machine à l’instruction prêt et parfois on est bien content de se contenter de savoir ce que fait le code à haut niveau, pour autant avoir besoin de code performant et pas forcément laisser la machine l’implémenter juste avec cette description.
Une approche en raffinage permet d’avoir les deux, des descriptions à plusieurs niveaux qui sont toutes cohérentes entre elles.
[^] # Re: Complètement crétin !
Posté par thoasm . En réponse au journal Comment briller auprès de la gent féminine dans « le monde de la tech ». Évalué à 4.
Et accessoirement, les spécifications ne sont pas forcément suffisamment précises pour pouvoir générer du code. Il y a une approche de "raffinement" en spec formelle, représentée par la "Méthode B" par exemple, qui permet une hiérarchie de spécification du plus vague au plus précis pour permettre de justement générer précisément du code. On a pas toujours besoin de savoir ce que fait la machine à l’instruction prêt et parfois on est bien content de se contenter de savoir ce que fait le code à haut niveau, pour autant avoir besoin de code performant et pas forcément laisser la machine l’implémenter juste avec cette description.
Une approche en raffinage permet d’avoir les deux, des descriptions à plusieurs niveaux qui sont toutes cohérentes entre elles.