M. Ahmad and J. Bruel, bCMS requirements modelling using RE- LAX/SysML, KAOS

J. Araújo and J. , Bruel, bCMS requirements modelling using KAOS, submitted to the 3rd CMA workshop at RE', 2013.

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems, 2009 17th IEEE International Requirements Engineering Conference, pp.79-88
DOI : 10.1109/RE.2009.36

A. Van-lamsweerde, 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

A. Van-lamsweerde and E. Letier, Handling obstacles in goal-oriented requirements engineering, IEEE Transactions on Software Engineering, vol.26, issue.10, 2000.
DOI : 10.1109/32.879820

A. I. Anton, Goal-based requirements analysis, Proceedings of the Second International Conference on Requirements Engineering, 1996.
DOI : 10.1109/ICRE.1996.491438

C. Gnaho and F. Semmak, Une extension SYSML pour l'ingénierie des exigences non-fonctionnelles orientée but, Revue Ingénierie des Systèmes d'Information, p.23, 2011.

C. Gnaho, F. Semmak, and R. Laleau, An overview of a SysML extension for goal-oriented NFR modelling, Seventh IEEE International Conference on Research Challenges in Information Science, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01224629

R. Laleau, F. Semmak, A. Matoussi, D. Petit, A. Hammad et al., A first attempt to combine SysML requirements diagrams and B, Innovations in Systems and Software Engineering, pp.47-54, 2010.

J. Whittle, P. Sawyer, N. Bencomo, and B. H. Cheng, A Language for Self-Adaptive System Requirements, International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements, p.8, 2008.

M. Ahmad, First step towards a domain specific language for self-adaptive systems, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), pp.285-290
DOI : 10.1109/NOTERE.2010.5536629

M. Ahmad, J. Bruel, R. Laleau, and C. Gnaho, Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling, 3rd Int. Conf. on Ambient Systems, Networks and Technologies (ANT) proceedings, pp.474-481, 2012.
DOI : 10.1016/j.procs.2012.06.061
URL : https://hal.archives-ouvertes.fr/hal-01224634

P. Espada, M. Goulão, and J. Araújo, Measuring complexity and completeness of KAOS goal models, Workshop on Empirical Requirements Engineering (EmpiRE 2011), pp.29-32, 2011.
DOI : 10.1109/EmpiRE.2011.6046252