Writing Effective Use Cases, 2000. ,
A Lightweight Approach to Consistency of Scenarios and Class Models Available at http://www.ifi.unizh.ch:80/groups/req/staff/glinz/activities.html. [Hur97] R. Hurlbut. A Survey of Approaches For Describing and Formalizing Use Cases, Proceedings of the Fourth International Conference on Requirements Engineering, 1997. ,
Modeling with Use Cases : Formalizing Use-Case modeling, Journal of Object-Oriented Programming, vol.8, issue.3, 1995. ,
Le génie logiciel orienté objet, 1993. ,
The B Language and Method : A Guide to Practical Formal Development. FACIT, 1996. ,
DOI : 10.1007/978-1-4471-1494-9
Étude de cas: Système de contrôle d'accès, 2000. ,
Modeling class operations in B : a case study on the pump component, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100689
Développements formels par objets: utilisation conjointe de B et d'UML, 2001. ,
Dérivation de spécifications formelles B à partir de spécifications semi-formelles Conservatoire National des Arts et Métiers -CEDRIC, Paris (F), décembre 1998 Formalising UML Use Cases in the Refinement Cal- culus, 1999. ,
The Unified Modeling Language Reference Manual, 1998. ,
Using use cases to capture requirements, Journal of object-oriented programming, vol.7, issue.5, 1994. ,