Registro:

Referencias:

• Sykes, D., Heaven, W., Magee, J., Kramer, J., From goals to components: A combined approach to self-management (2008) Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, pp. 1-8. , ACM, New York
• Kephart, J.O., Chess, D.M., The vision of autonomic computing (2003) Computer, 36 (1), pp. 41-50. , https://doi.org/10.1109/MC.2003.1160055
• Garlan, D., Cheng, S., Huang, A., Schmerl, B.R., Steenkiste, P., Rainbow: Architecture-based self-adaptation with reusable infrastructure (2004) IEEE Comput, 37 (10), pp. 46-54
• Filieri, A., Hoffmann, H., Maggio, M., Automated design of self-adaptive software with control-theoretical formal guarantees (2014) 36Th International Conference on Software Engineering, ICSE 2014, pp. 299-310. , https://doi.rg/10.1145/2568225.2568272, Jalote, P., Briand, L.C., van der Hoek, A. (eds.), Hyderabad, India, 31 May–07 June, ACM, 2014
• Parekh, S., (2010) Feedback Control Techniques for Performance Management of Computing Systems, , Ph.D. dissertation, Seattle, WA, USA
• Baresi, L., Guinea, S., Dynamo and self-healing BPEL compositions (2007) Companion to the Proceedings of the 29Th International Conference on Software Engineering, ICSE COMPANION, pp. 69-70. , https://doi.org/10.1109/ICSECOMPANION.2007.31, IEEE Computer Society, Washington, DC
• Nau, D., Ghallab, M., Traverso, P., (2004) Automated Planning: Theory & Practice, , Morgan Kaufmann Publishers Inc., San Francisco
• Ramadge, P.J., Wonham, W.M., The control of discrete event systems (1989) Proc. IEEE, 77 (1), pp. 81-98
• Kang, S., Garlan, D., Architecture-based planning of software evolution (2014) Int. J. Softw. Eng. Knowl. Eng, 24 (2), pp. 211-242
• Arshad, N., Heimbigner, D., Wolf, A.L., Deployment and dynamic reconfiguration planning for distributed software systems (2007) Softw. Qual. J, 15 (3), pp. 265-281
• Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N., Plasma: A plan-based layered architecture for software model-driven adaptation (2010) Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 467-476. , https://doi.org/10.1145/1858996.1859092, ASE, ACM, New York
• D’Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Synthesizing nonanomalous event-based controllers for liveness goals (2013) ACM Trans. Softw. Eng. Methodol, 22 (1), p. 9
• Kramer, J., Magee, J., Self-managed systems: An architectural challenge (2007) International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, pp. 259-268. , 23–25 May 2007, Minneapolis, MN, USA
• Dashofy, E.M., Van Der Hoek, A., Taylor, R.N., Towards architecture-based selfhealing systems (2002) Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, pp. 21-26. , ACM, New York
• Batista, T., Joolia, A., Coulson, G., (2005) Managing Dynamic Reconfiguration in Component-Based Systems, 3527, pp. 1-17. , https://doi.org/10.1007/11494713_1, Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, Springer, Heidelberg
• Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Wolf, A.L., An architecture-based approach to self-adaptive software (1999) IEEE Intell. Syst, 14 (3), pp. 54-62
• Inverardi, P., Tivoli, M., (2003) Software Architecture for Correct Components Assembly, 2804, pp. 92-121. , https://doi.org/10.1007/978-3-540-39800-4_6, Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, Springer, Heidelberg
• Leva, A., Maggio, M., Papadopoulos, A.V., Terraneo, F., (2013) Control-Based Operating System Design, , Ser. Control Engineering Series, IET
• Kramer, J., Magee, J., The evolving philosophers problem: Dynamic change management (1990) IEEE Trans. Softw. Eng, 16 (11), pp. 1293-1306. , https://doi.org/10.1109/32.60317
• Vandewoude, Y., Ebraert, P., Berbers, Y., D’Hondt, T., Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates (2007) IEEE Trans. Softw. Eng, 33 (12), pp. 856-868. , https://doi.org/10.1109/TSE.2007.70733
• Ghezzi, C., Greenyer, J., La Manna, V.P., Synthesizing dynamically updating controllers from changes in scenario-based specifications (2012) Proceedings of the 7Th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 145-154. , http://dl.acm.org/citation.cfm?id=2666795.2666819, SEAMS 2012,, IEEE Press, Piscataway
• Sykes, D., Magee, J., Kramer, J., FlashMob: Distributed adaptive self-assembly (2011) Proceedings of the 6Th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, pp. 100-109. , ACM, New York
• Di Marco, A., Inverardi, P., Spalazzese, R., Synthesizing self-adaptive connectors meeting functional and performance concerns (2013) Proceedings of the 8Th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, pp. 133-142. , IEEE Press, Piscataway
• Bennaceur, A., Inverardi, P., Issarny, V., Spalazzese, R., Automated synthesis of connectors to support software evolution (2012) ERCIM News 2012, 88
• Issarny, V., Bennaceur, A., Bromberg, Y.-D., (2011) Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, 6659, pp. 217-255. , https://doi.org/10.1007/978-3-642-21455-4_7, Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, Springer, Heidelberg
• D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., MTSA: The modal transition system analyser (2008) 23Rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pp. 475-476. , https://doi.org/10.1109/ASE.2008.78, 15–19 September, L’Aquila, Italy, IEEE (2008)
• D’Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Synthesis of live behaviour models for fallible domains (2011) Proceedings of the 33Rd International Conference on Software Engineering, ICSE 2011, pp. 211-220. , Waikiki, Honolulu, HI, USA, 21– 28 May 2011
• D’Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., The modal transition system control problem (2012) FM 2012: Formal Methods - Proceedings of 18Th International Symposium, Paris, France, pp. 155-170. , 27–31 August 2012
• D’Ippolito, N., Braberman, V.A., Kramer, J., Magee, J., Sykes, D., Uchitel, S., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems (2014) 36Th International Conference on Software Engineering, ICSE 2014, pp. 688-699. , Jalote, P., Briand, L.C., van der Hoek, A. (eds.), Hyderabad, India, 31 May–07 June 2014,, ACM
• Parnas, D.L., On the criteria to be used in decomposing systems into modules (1972) Commun. ACM, 15 (12), pp. 1053-1058. , https://doi.org/10.1145/361598.361623
• Braberman, V.A., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., MORPH: A reference architecture for configuration and behaviour self-adaptation (2015) Proceedings of the 1St International Workshop on Control Theory for Software Engineering, pp. 9-16. , https://doi.org/10.1145/2804337.2804339, Filieri, A., Maggio, M. (eds.), CTSE@SIGSOFT FSE 2015, Bergamo, Italy, 31 August–04 September 2015, ACM
• Hirsch, D., Kramer, J., Magee, J., Uchitel, S., (2006) Modes for Software Architectures, 4344, pp. 113-126. , https://doi.org/10.1007/11966104_9, Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, Springer, Heidelberg
• McVeigh, A., Kramer, J., Magee, J., Evolve: Tool support for architecture evolution (2011) Proceedings of the 33Rd International Conference on Software Engineering, ICSE 2011, pp. 1040-1042. , https://doi.org/10.1145/1985793.1985990, Taylor, R.N., Gall, H., Medvidovic, N. (eds.), Waikiki, Honolulu, HI, USA, 21–28 May, ACM
• McVeigh, A., Kramer, J., Magee, J., (2006) Using Resemblance to Support Component Reuse and Evolution, pp. 49-56. , https://doi.org/10.1145/1181195.1181206
• Lamsweerde, A.V., Goal-oriented requirements engineering: A guided tour (2001) Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, IEEE Computer Society Washington, p. 0249. , DC, USA, IEEE Computer Society, Los Alamitos
• Yu, E.S.K., Towards modeling and reasoning support for early-phase requirements engineering (1997) Proceedings of the 3Rd IEEE International Symposium on Requirements Engineering, RE 1997, pp. 226-235. , http://dl.acm.org/citation.cfm?id=827255.827807, IEEE Computer Society, Washington, DC
• Jackson, M., The world and the machine (1995) Proceedings of the 17Th International Conference on Software Engineering, ICSE, pp. 283-292. , https://doi.org/10.1145/225014.225041, ACM, New York
• Jackson, M., (1995) Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices, , ACM Press/Addison-Wesley Publishing Co., New York
• Magee, J., Dulay, N., Eisenbach, S., Kramer, J., (1995) Specifying Distributed Software Architectures, 989, pp. 137-153. , https://doi.org/10.1007/3-540-60406-5_12, Schäfer, W., Botella, P. (eds.) ESEC 1995. LNCS, Springer, Heidelberg
• Garlan, D., Monroe, R., Wile, D., ACME: An architecture description interchange language (1997) Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON, p. 7. , http://dl.acm.org/citation.cfm?id=782010.782017, IBM Press (1997)
• Heitmeyer, C.L., (2002) Software Cost Reduction, , https://doi.org/10.1002/0471028959.sof307, John Wiley & Sons Inc
• Harel, D., Statecharts: A visual formalism for complex systems (1987) Sci. Comput. Program, 8 (3), pp. 231-274. , https://doi.org/10.1016/0167-6423.90035–90039
• Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K., Learning revised models for planning in adaptive systems (2013) Proceedings of the 2013 International Conference on Software Engineering, Ser., ICSE 2013, pp. 63-71. , IEEE Press, Piscataway
• Hollnagel, E., (1993) Human Reliability Analysis: Context and Control, a Volume in the Computers and People Series, , https://books.google.com.ar/books?id=jGtRAAAAMAAJ, Academic Press
• De Lemos, R., Fields, B., Saeed, A., Analysis of safety requirements in the context of system faults and human errors (1995) Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems, pp. 374-381
• Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P., MBP: A model based planner (2001) Proceedings of the IJCAI 2001 Workshop on Planning under Uncertainty and Incomplete Information
• Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M., NUSMV: A new symbolic model checker (2000) STTT, 2 (4), pp. 410-425. , https://doi.org/10.1007/s100090050046
• Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P., (2004) Planning and Monitoring Web Service Composition, 3192, pp. 106-115. , https://doi.org/10.1007/978-3-540-30106-6_11, Bussler, C., Fensel, D. (eds.) AIMSA, LNCS (LNAI), Springer, Heidelberg (2004)
• Gat, E., Bonnasso, R.P., Murphy, R., On three-layer architectures (1997) Artificial Intelligence and Mobile Robots, pp. 195-210. , AAAI Press
• Braberman, V.A., D’Ippolito, N., Piterman, N., Sykes, D., Uchitel, S., Controller synthesis: From modelling to enactment (2013) 35Th International Conference on Software Engineering, ICSE 2013, pp. 1347-1350. , San Francisco, CA, USA, 18–26 May 2013
• (2014), http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6998166, London, United Kingdom, 8–12 September, IEEE (2014); Engels, G., Bencomo, N., (2014) Proceedings of 9Th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, , http://dl.acm.org/citation.cfm?_id=2593929, Hyderabad, India, 2–3 June 2014. ACM
• Poole, D.L., Mackworth, A.K., (2010) Artificial Intelligence: Foundations of Computational Agents, , Cambridge University Press, New York
• Da Silva, C.E., De Lemos, R., A framework for automatic generation of processes for self-adaptive software systems (2011) Informatica (Slovenia), 35 (1), pp. 3-13
• Cassandras, C.G., Lafortune, S., (2010) Introduction to Discrete Event Systems, , https://doi.org/10.1007/978-0-387-68612-7, 2nd edn. Springer, Heidelberg
• Allen, A.O., (1978) Probability, Statistics, and Queueing Theory with Computer Science Applications, , Academic Press Inc., Orlando
• Cimatti, A., Pistore, M., Roveri, M., Traverso, P., Weak, strong, and strong cyclic planning via symbolic model checking (2003) Artif. Intell, 147 (1-2), pp. 35-84
• Giannakopoulou, D., Păsăreanu, C.S., (2011) Context Synthesis, 6659, pp. 191-216. , https://doi.org/10.1007/978-3-642-21455-4_6, Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, Springer, Heidelberg
• Cobleigh, J.M., Giannakopoulou, D., Păsăreanu, C.S., (2003) Learning Assumptions for Compositional Verification, 2619, pp. 331-346. , https://doi.org/10.1007/3-540-36577-X_24, Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, Springer, Heidelberg
• Swanson, J., Cohen, M.B., Dwyer, M.B., Garvin, B.J., Firestone, J., Beyond the rainbow: Self-adaptive failure avoidance in configurable systems (2014) Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), pp. 377-388. , https://doi.org/10.1145/2635868.2635915, Cheung, S., Orso, A., Storey, M.D. (eds.), Hong Kong, China, 16–22 November 2014, ACM
• Brun, Y., (2009) Engineering Self-Adaptive Systems through Feedback Loops, 5525, pp. 48-70. , https://doi.org/10.1007/978-3-642-02161-9_3, Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, Springer, Heidelberg
• Diao, Y., Hellerstein, J.L., Parekh, S., Griffith, R., Kaiser, G.E., Phung, D., A control theory foundation for self-managing computing systems (2006) IEEE J. Sel. Areas Commun, 23 (12), pp. 2213-2222
• Kephart, J., Chess, D., The vision of autonomic computing (2003) Computer, 36 (1), pp. 41-50
• Lu, C., Lu, Y., Abdelzaher, T.F., Stankovic, J.A., Son, S.H., Feedback control architecture and design methodology for service delay guarantees in web servers (2006) IEEE Trans. Parallel Distrib. Syst, 17 (9), pp. 1014-1027
• Kihl, M., Robertsson, A., Andersson, M., Wittenmark, B., Control-theoretic analysis of admission control mechanisms for web server systems (2008) World Wide Web, 11 (1), pp. 93-116
• Cheng, B.H.C., (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap, 5525, pp. 1-26. , https://doi.org/10.1007/978-3-642-02161-9_1, Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, Springer, Heidelberg
• Baresi, L., Pasquale, L., Live goals for adaptive service compositions (2010) Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Selfmanaging Systems, SEAMS 2010, pp. 114-123. , https://doi.org/10.1145/1808984.1808997, ACM, New York
• Nakagawa, H., Ohsuga, A., Honiden, S., Constructing self-adaptive systems using a KAOS model (2008) Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008, pp. 132-137. , https://doi.org/10.1109/SASOW.2008.35, IEEE Computer Society, Washington, DC
• Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M., Relax: A language to address uncertainty in self-adaptive systems requirement (2010) Requir. Eng, 15 (2), pp. 177-196. , https://doi.org/10.1007/s00766-010-0101-0
• Vogel, T., Giese, H., Model-driven engineering of self-adaptive software with Eurema (2014) ACM Trans. Auton. Adapt. Syst, 8 (4), pp. 1801-1833
• Vromant, P., Weyns, D., Malek, S., Andersson, J., On interacting control loops in self-adaptive systems (2011) Proceedings of the 6Th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, pp. 202-207. , ACM, New York
• Cook, J.E., Dage, J.A., Highly reliable upgrading of components (1999) Proceedings of the 21St International Conference on Software Engineering, ICSE 1999, pp. 203-212. , https://doi.org/10.1145/302405.302466, ACM, New York
• Jalotebriandvan Der Hoek, P.L.C.A., (2014) 36Th International Conference on Software Engineering, ICSE 2014, , Hyderabad, India, 31 May–07 June 2014. ACM
• Bernardo, M., Issarny, V., (2011), 6659. , https://doi.org/10.1007/978-3-642-21455-4, SFM 2011. LNCS,, Springer, HeidelbergA4 -

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------