TY - STD TI - Abowd, GD, Dey AK, Brown PJ, Davies N, Smith M, Steggles P (1999) Towards a better understanding of context and context-awareness. In: Gellersen H-W (ed)Handheld and Ubiquitous Computing. Lecture Notes in Computer Science, 304–307.. Springer. ID - ref1 ER - TY - STD TI - Ali, R (2010) Modeling and reasoning about contextual requirements: Goal-based framework. PhD thesis, Universita degli Studi di Trento. ID - ref2 ER - TY - JOUR AU - Ali, R. AU - Dalpiaz, F. AU - Giorgini, P. PY - 2010 DA - 2010// TI - A goal-based framework for contextual requirements modeling and analysis JO - Requirements Eng VL - 15 UR - https://doi.org/10.1007/s00766-010-0110-z DO - 10.1007/s00766-010-0110-z ID - Ali2010 ER - TY - CHAP AU - Angelopoulos, K. AU - Souza, V. E. S. AU - Mylopoulos, J. PY - 2014 DA - 2014// TI - Dealing with multiple failures in zanshin: a control-theoretic approach BT - Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2014 PB - ACM CY - New York, NY, USA ID - Angelopoulos2014 ER - TY - JOUR AU - Basili, V. R. AU - Selby, R. W. AU - Hutchens, D. H. PY - 1986 DA - 1986// TI - Experimentation in software engineering JO - IEEE Trans Softw Eng SE VL - 12 UR - https://doi.org/10.1109/TSE.1986.6312975 DO - 10.1109/TSE.1986.6312975 ID - Basili1986 ER - TY - STD TI - Bazire, M, Brézillon P (2005) Understanding context before using it. In: Dey A, Kokinov B, Leake D, Turner R (eds)Modeling and Using Context. Lecture Notes in Computer Science, 29–40.. Springer. ID - ref6 ER - TY - STD TI - Brézillon, P (2007) Context modeling: Task model and practice model In: Modeling and Using Context, 122–135.. Springer. ID - ref7 ER - TY - STD TI - Brito, IS, Vieira F, Moreira A, Ribeiro RA (2007) Handling Conflicts in Aspectual Requirements Compositions. In: Rashid A Aksit M (eds)Transactions on Aspect-Oriented Software Development III, 144–166.. Springer Berlin Heidelberg, doi:10.1007/978-3-540-75162-5_6. ID - ref8 ER - TY - JOUR AU - Carver, J. C. AU - Jaccheri, L. AU - Morasca, S. AU - Shull, F. PY - 2010 DA - 2010// TI - A checklist for integrating student empirical studies with research and teaching goals JO - Empir Softw Eng VL - 15 UR - https://doi.org/10.1007/s10664-009-9109-9 DO - 10.1007/s10664-009-9109-9 ID - Carver2010 ER - TY - JOUR AU - Castro, J. AU - Kolp, M. AU - Mylopoulos, J. PY - 2002 DA - 2002// TI - Towards requirements-driven information systems engineering: the tropos project JO - Inform Syst VL - 27 UR - https://doi.org/10.1016/S0306-4379(02)00012-1 DO - 10.1016/S0306-4379(02)00012-1 ID - Castro2002 ER - TY - STD TI - Chalmers, D (2002) Contextual mediation to support ubiquitous computing. PhD thesis, University of London, Imperial College of Science, Technology and Medicine. ID - ref11 ER - TY - STD TI - Chung, L, Nixon BA, Yu E, Mylopoulos J (2012) Non-functional requirements in software engineering, Vol. 5. Springer Science & Business Media. ID - ref12 ER - TY - BOOK AU - Clements, P. AU - Garlan, D. AU - Bass, L. AU - Stafford, J. AU - Nord, R. AU - Ivers, J. AU - Little, R. PY - 2002 DA - 2002// TI - Documenting Software Architectures: Views and Beyond PB - Pearson Education CY - United States ID - Clements2002 ER - TY - STD TI - Dalpiaz, F, Borgida A, Horkoff J, Mylopoulos J (2013) Runtime goal models: Keynote In: Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference On, 1–11.. IEEE. ID - ref14 ER - TY - STD TI - Dermeval, D, Vilela J, Bittencourt II, Castro J, Isotani S, Brito P, Silva A (2015) Applications of ontologies in requirements engineering: a systematic review of the literature. Requirements Engineering. Springer, pp 1–33. ID - ref15 ER - TY - JOUR AU - Dijkman, R. AU - Dumas, M. AU - van Dongen, B. AU - Käärik, R. AU - Mendling, J. PY - 2011 DA - 2011// TI - Similarity of business process models: Metrics and evaluation JO - Inf Syst VL - 36 UR - https://doi.org/10.1016/j.is.2010.09.006 DO - 10.1016/j.is.2010.09.006 ID - Dijkman2011 ER - TY - JOUR AU - Fenton, N. PY - 1993 DA - 1993// TI - How effective are software engineering methods? JO - J Syst Softw VL - 22 UR - https://doi.org/10.1016/0164-1212(93)90092-C DO - 10.1016/0164-1212(93)90092-C ID - Fenton1993 ER - TY - JOUR AU - Harel, D. PY - 1987 DA - 1987// TI - Statecharts: A visual formalism for complex systems JO - Sci Comput Program VL - 8 UR - https://doi.org/10.1016/0167-6423(87)90035-9 DO - 10.1016/0167-6423(87)90035-9 ID - Harel1987 ER - TY - STD TI - Hatcliff, J, Wassyng A, Kelly T, Comar C, Jones P (2014) Certifiably safe software-dependent systems: challenges and directions In: Proceedings of the on Future of Software Engineering, 182–200.. ACM. ID - ref19 ER - TY - STD TI - Karlsson, J (1996) Software requirements prioritizing In: Proceedings of the Second International Conference on Requirements Engineering, 110–116.. IEEE. ID - ref20 ER - TY - STD TI - Klein, C, Schmid R, Leuxner C, Sitou W, Spanfelner B (2008) A survey of context adaptation in autonomic computing In: Fourth International Conference on Autonomic and Autonomous Systems, 2008. ICAS 2008, 106–111.. IEEE. ID - ref21 ER - TY - STD TI - Lapouchnian, A (2005) Goal-oriented requirements engineering: An overview of the current research. Technical Report. University of Toronto. ID - ref22 ER - TY - STD TI - Liu, Y, Ma Z, Shao W (2010) Integrating non-functional requirement modeling into model driven development method In: Software Engineering Conference (APSEC), 2010 17th Asia Pacific, 98–107.. IEEE. ID - ref23 ER - TY - JOUR AU - Mellor, S. J. AU - Clark, T. AU - Futagami, T. PY - 2003 DA - 2003// TI - Model-driven development: guest editors’ introduction JO - IEEE Softw VL - 20 UR - https://doi.org/10.1109/MS.2003.1231145 DO - 10.1109/MS.2003.1231145 ID - Mellor2003 ER - TY - CHAP AU - Miranda, D. AU - Genero, M. AU - Piattini, M. PY - 2005 DA - 2005// TI - Empirical validation of metrics for uml statechart diagrams BT - Enterprise Information Systems V PB - Springer CY - Netherlands UR - https://doi.org/10.1007/1-4020-2673-0_12 DO - 10.1007/1-4020-2673-0_12 ID - Miranda2005 ER - TY - STD TI - Morandini, M, Migeon F, Gleizes M-P, Maurel C, Penserini L, Perini A (2009) A goal-oriented approach for modelling self-organising MAS In: Engineering Societies in the Agents World X, vol 5881, 33–48.. Springer, ID - ref26 ER - TY - JOUR AU - Murata, T. PY - 1989 DA - 1989// TI - Petri nets: Properties, analysis and applications JO - Proc IEEE VL - 77 UR - https://doi.org/10.1109/5.24143 DO - 10.1109/5.24143 ID - Murata1989 ER - TY - JOUR AU - Nicola, R. d. PY - 1987 DA - 1987// TI - Extensional equivalences for transition systems JO - Acta Informatica VL - 24 UR - https://doi.org/10.1007/BF00264365 DO - 10.1007/BF00264365 ID - Nicola1987 ER - TY - JOUR AU - Nuseibeh, B. PY - 2001 DA - 2001// TI - Weaving together requirements and architectures JO - Computer VL - 34 UR - https://doi.org/10.1109/2.910904 DO - 10.1109/2.910904 ID - Nuseibeh2001 ER - TY - STD TI - OMG (2016) Object Management Group. Business Process Model and Notation. http://www.bpmn.org/. Accessed 17 Dec 2014. UR - http://www.bpmn.org/ ID - ref30 ER - TY - JOUR AU - Penserini, L. AU - Perini, A. AU - Susi, A. AU - Mylopoulos, J. PY - 2007 DA - 2007// TI - High variability design for software agents: Extending tropos JO - ACM Trans Autonomous Adaptive Syst (TAAS) VL - 2 ID - Penserini2007 ER - TY - STD TI - Pimentel, JHC (2015) Systematic design of adaptive systems — a control-based framework. PhD thesis, Federal University of Pernambuco, Centers of Informatics. ID - ref32 ER - TY - JOUR AU - Pimentel, J. AU - Lucena, M. AU - Castro, J. AU - Silva, C. AU - Santos, E. AU - Alencar, F. PY - 2012 DA - 2012// TI - Deriving software architectural models from requirements models for adaptive systems: the stream-a approach JO - Requirements Eng VL - 17 UR - https://doi.org/10.1007/s00766-011-0126-z DO - 10.1007/s00766-011-0126-z ID - Pimentel2012 ER - TY - STD TI - Pimentel, J, Castro J, Mylopoulos J, Angelopoulos K, Souza VES (2014) From requirements to statecharts via design refinement In: Proceedings of the 29th Annual ACM Symposium on Applied Computing: 24–28 March 2014; Gyeongju, Korea, 995–1000.. ACM. ID - ref34 ER - TY - STD TI - Ranjita, KS, Prafulla KB, Durga PM (2012) Minimal testcase generation for object-oriented software with state charts. arXiv preprint arXiv:1208.2265. ID - ref35 ER - TY - STD TI - Runeson, P (2003) Using students as experiment subjects–an analysis on graduate and freshmen student data In: Proceedings of the 7th International Conference on Empirical Assessment in Software Engineering.–Keele University, UK, 95–102.. Citeseer. ID - ref36 ER - TY - JOUR AU - Saaty, R. W. PY - 1987 DA - 1987// TI - The analytic hierarchy process - what it is and how it is used JO - Mathematical Modelling VL - 9 UR - https://doi.org/10.1016/0270-0255(87)90473-8 DO - 10.1016/0270-0255(87)90473-8 ID - Saaty1987 ER - TY - STD TI - Santos, VVd (2008) Cemantika: A domain-independent framework for designing context-sensitive systems. PhD thesis, Universidade Federal de Pernambuco, Centro de Informática. ID - ref38 ER - TY - STD TI - Santos, EB (2013) Business process configuration with nfrs and context-awareness. PhD thesis, Federal University of Pernambuco, Centers of Informatics. ID - ref39 ER - TY - JOUR AU - Shaw, A. C. PY - 1978 DA - 1978// TI - Software descriptions with flow expressions JO - Softw Eng IEEE Trans VL - 3 UR - https://doi.org/10.1109/TSE.1978.231501 DO - 10.1109/TSE.1978.231501 ID - Shaw1978 ER - TY - STD TI - Sjoberg, DIK, Anda B, Arisholm E, Dyba T, Jorgensen M, Karahasanovic A, Koren EF, Vokac M (2002) Conducting realistic experiments in software engineering In: Proceedings of 2002 International Symposium in Empirical Software Engineering, 17–26. ID - ref41 ER - TY - BOOK AU - Sommerville, I. AU - Kotonya, G. PY - 1998 DA - 1998// TI - Requirements Engineering: Processes and Techniques PB - Sons, Inc. CY - New York, NY, USA ID - Sommerville1998 ER - TY - CHAP AU - Svahnberg, M. AU - Aurum, A. AU - Wohlin, C. PY - 2008 DA - 2008// TI - Using students as subjects - an empirical evaluation BT - Proceedings of the Second ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. ESEM ’08 PB - ACM CY - New York, NY, USA UR - https://doi.org/10.1145/1414004.1414055 DO - 10.1145/1414004.1414055 ID - Svahnberg2008 ER - TY - STD TI - Van Lamsweerde, A, Darimont R, Massonet P (1995) Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt In: Requirements Engineering, 1995, Proceedings of the Second IEEE International Symposium On, 194–203.. IEEE. ID - ref44 ER - TY - JOUR AU - Vieira, V. AU - Tedesco, P. AU - Salgado, A. C. PY - 2011 DA - 2011// TI - Designing context-sensitive systems: An integrated approach JO - Expert Syst Appl VL - 38 UR - https://doi.org/10.1016/j.eswa.2010.05.006 DO - 10.1016/j.eswa.2010.05.006 ID - Vieira2011 ER - TY - STD TI - Vinson, NG, Singer J (2008) A practical guide to ethical research involving humans In: Guide to Advanced Empirical Software Engineering, 229–256. ID - ref46 ER - TY - BOOK AU - Wohlin, C. AU - Runeson, P. AU - Höst, M. AU - Ohlsson, M. C. AU - Regnell, B. AU - Wesslén, A. PY - 2012 DA - 2012// TI - Experimentation in Software Engineering PB - Springer CY - Norwell, MA, USA UR - https://doi.org/10.1007/978-3-642-29044-2 DO - 10.1007/978-3-642-29044-2 ID - Wohlin2012 ER - TY - STD TI - Yakindu Statechart Tools (2016). http://statecharts.org/. Accessed 17 Dec 2014. UR - http://statecharts.org/ ID - ref48 ER - TY - STD TI - Yu, Y, Lapouchnian A, Liaskos S, Mylopoulos J, Leite JC (2008) From goals to high-variability software design In: Foundations of Intelligent Systems, 1–16.. Springer. ID - ref49 ER -