Describing use cases with activity charts. Metainformatics , 3511 of LNCS, pp.141-159, 2004. ,
Using context descriptions and property definition patterns for software formal verification, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ,
DOI : 10.1109/ICSTW.2008.52
URL : https://hal.archives-ouvertes.fr/hal-00517276
Evaluating context descriptions and property definition patterns for software formal validation. MoDELS, LNCS, vol.5795, pp.438-452, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00635653
Patterns in property specifications for finite-state verification, ICSE, pp.411-420, 1999. ,
Visualization of Use Cases through Automatically Generated Activity Diagrams, 2008. ,
DOI : 10.1007/978-3-540-87875-9_6
Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009. ,
DOI : 10.1145/1453101.1453133
Model transformation of dependability-focused requirements models, 2009 ICSE Workshop on Modeling in Software Engineering, 2009. ,
DOI : 10.1109/MISE.2009.5069897
A Requirement-Based Approach to Test Product Families, 2003. ,
DOI : 10.1007/978-3-540-24667-1_15
URL : https://hal.archives-ouvertes.fr/hal-00794799