Algebraic requirements definitions: a case study
H. Partsch · 1986
L'ensemble des equations qui constituent les «requirements» est d'une complexite comparable a un programme bien structure qui realiserait l'editeur, operationnellement dans un langage de haut niveau. Il est donc question de comprendre quelle rotation est la plus avantageuse et cela se rapporte a l'analyse des qualites qu'une bonne methode de specification devrait posseder en plus de la precision