[1]
"L. A. Zadeh, "Fuzzy sets,"", Information and control,. Vol. 8, 1965.
[2]
"M. B. Dwyer, G. S. Avrunin and J. C.Corbett, "Patterns in
property specifications for finite-state verification," in", Proceedings
of the 21st international conference on Software engineering,. Los
Angeles, 1999.
[3]
N. Abid, S. Dal Zilio and D. Le Botlan, "A Real-Time
Specification Patterns Language," 2011.
[4]
J. Whittle, P. Sawyer, N. Bencomo, B.H. Cheng, and J-M. Bruel, "RELAX: a language to address uncertainty in self-adaptive systems requirement", Requirements Eng., pp. 177-196, 2010.
[5]
"M. U. Iftikhar and D. Weyns, "A case study on formal verification
of self-adaptive behaviors in a decentralized system,"", arXiv
preprint arXiv:1208.4635. 2012.
[6]
"S. Konrad and B. H. Cheng, "Real-time specification patterns," in", Proceedings of the 27th international conference on Software
engineering,. St. Louis, MO, USA, 2005.
[7]
M. Autili, L. Grunske, M. Lumpe, P. Pelliccione, and A. Tang, "Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar", IEEE Trans. Softw. Eng., vol. 41, pp. 620-638, 2015.
[8]
C. Krupitzer, F.M. Roth, S. VanSyckel, G. Schiele, and C. Becker, "A survey on engineering approaches for self-adaptive systems", Pervasive Mobile Comput., vol. 17, pp. 184-206, 2015.
[9]
D. Weyns, Software engineering of self-adaptive systems: an organised tour and future challenges., Chapter in Handbook of Software Engineering, 2017.
[10]
"D. Weyns, M. U. Iftikhar, S. Malek and J. Andersson, "Claims and
supporting evidence for self-adaptive systems: A literature study," in", Proceedings of the 7th International Symposium on Software
Engineering for Adaptive and Self-Managing Systems,. Zurich,
Switzerland, 2012.
[11]
F.D. Macias-Escriva, R. Haber, R. del Toro, and V. Hernandez, "Self-adaptive systems: A survey of current approaches, research challenges and applications", Expert Syst. Appl., vol. 40, pp. 7267-7279, 2013.
[12]
"R. De Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M.
Litoiu and D. Weyns, "Software engineering for self-adaptive
systems: A second research roadmap," in", Software Engineering for
Self-Adaptive Systems II,. Berlin, Heidelberg, 2013.
[13]
"S.-i. Moon, K. H. Lee and D. Lee, Fuzzy branching temporal logic", IEEE Trans. Syst. Man Cybern. B Cybern., vol. 34, pp. 1045-1055, 2004.
[14]
"B. H. Cheng, P. Sawyer, N. Bencomo and J. Whittle, "A goal-based
modeling approach to develop requirements of an adaptive system
with environmental uncertainty," in", International Conference on
Model Driven Engineering Languages and Systems,. Berlin,
Heidelberg, 2009.
[15]
"L. Baresi, L. Pasquale and P. Spoletini, "Fuzzy goals for
requirements-driven adaptation," in", 2010 18th IEEE International
Requirements Engineering Conference,. Sydney, NSW, Australia,
2010.
[16]
"V. E. Silva Souza, A. Lapouchnian, W. N. Robinson and J.
Mylopoulos, "Awareness requirements for adaptive systems," in", Proceedings of the 6th international symposium on Software
engineering for adaptive and self-managing systems,. Waikiki,
Honolulu, HI, USA, 2011.
[17]
"V. E. S. Souza, A. Lapouchnian and J. Mylopoulos,
"(Requirement) evolution requirements for adaptive systems," in", Proceedings of the 7th International Symposium on Software
Engineering for Adaptive and Self-Managing Systems,. Zurich,
Switzerland, 2012
[18]
M. Ahmad, N. Belloir, and J-M. Bruel, "Modeling and Verification of Functional and Non-Functional Requirements of Ambient Self-Adaptive Systems", J. Syst. Softw., vol. 107, pp. 50-70, 2015.
[19]
A. Dardenne, A. Van Lamsweerde, and S. Fickas, "Goal-directed requirements acquisition", Sci. Comput. Program., vol. 20, pp. 3-50, 1993.
[20]
"E. Vassev and M. Hinchey, "Engineering Requirements for
Autonomy Features," in", Software Engineering for Collective
Autonomic Systems,. Cham, 2015.
[21]
"E. S. Yu, "Towards modelling and reasoning support for earlyphase
requirements engineering," in", Proceedings of ISRE '97: 3rd
IEEE International Symposium on Requirements Engineering,. Annapolis, MD, USA, USA, 1997.
[22]
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, "Tropos: An agent-oriented software development methodology", Auton. Agent. Multi Agent Syst., vol. 8, pp. 203-236, 2004.
[23]
M. Morandini, L. Penserini, A. Perini, and A. Marchetto, "Engineering requirements for adaptive systems", Requirements Eng., vol. 22, pp. 77-103, 2017.
[24]
D.G.D.L. Iglesia, and D. Weyns, "MAPE-K formal templates to rigorously design behaviors for self-adaptive systems", ACM Trans. Auton. Adapt. Syst TAAS., vol. 10, p. 15, 2015.
[25]
"C. E. da Silva, J. D. S. da Silva, C. Paterson and R. Calinescu,
"Self-adaptive role-based access control for business processes," in", Proceedings of the 12th International Symposium on Software
Engineering for Adaptive and Self-Managing Systems,. Buenos
Aires, Argentina, 2017.
[26]
"M. Salehie and L. Tahvildari, "Autonomic computing: emerging
trends and open problems," in", DEAS '05 Proceedings of the 2005
workshop on Design and evolution of autonomic application
software,. St. Louis, Missouri, USA, 2005.
[27]
"L. Grunske, "Specification patterns for probabilistic quality
properties," in", 2008 ACM/IEEE 30th International Conference on
Software Engineering,. Leipzig, Germany, 2008.
[28]
R. Koymans, "Specifying real-time properties with metric temporal logic", Real-Time Syst., vol. 2, pp. 255-299, 1990.
[29]
Y. Zhou, and T. Murata, "Petri net model with fuzzy timing and fuzzy-metric temporal logic", Int. J. Intell. Syst., vol. 14, pp. 719-745, 1999.
[30]
I. Suzuki, and H. Lu, "Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter", IEEE Trans. Comput., vol. 38, pp. 696-704, 1989.
[31]
"N. Esfahani and S. Malek, "Uncertainty in self-adaptive software
systems," in", Software Engineering for Self-Adaptive Systems II,. Berlin, Heidelberg, 2013.
[32]
V. Gruhn, and R. Laue, "Patterns for timed property specifications", Electron. Notes Theor. Comput. Sci., vol. 153, pp. 117-133, 2006.
[33]
J.O. Kephart, and D.M. Chess, "The vision of autonomic computing", Computer, vol. 36, pp. 41-50, 2003.
9
1