Registro:

Referencias:

• http//www.doc.ic.ac.uk/~su2/tmp/shl.pdf, Appendix; http//www.doc.ic.ac.uk/ltsa/, The Labelled Transition System Analyser (LTSA); Workshop on models at runtime series (2006) ACM/IEEE
• ICSE symposium on software engineering for adaptive and self-managing systems, seams (2006) ACM/IEEE
• Agre, P.E., Chapman, D., What are plans for (1990) Robotics and Autonomous Systems, 6 (1-2), pp. 17-34. , Designing Autonomous Agents
• Arshad, N., Heimbigner, D., Wolf, A.L., Deployment and dynamic reconfiguration planning for distributed software systems (2007) Software Quality Journal, 15 (3), pp. 265-281
• Baresi, L., Pasquale, L., Spoletini, P., Fuzzy goals for requirements-driven adaptation (2010) Requirements Engineering Conference (RE), 2010 18th IEEE International, pp. 125-134
• Bernardi, S., Merseguer, J., Petriu, D.C., Dependability modeling and assessment in uml-based software development (2012) The Scientic World Journal, 2012
• Berry, G., Gonthier, G., The esterel synchronous programming language: Design, semantics, implementation (1992) Sci. Comput. Program, 19 (2), pp. 87-152
• Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P., MBP: A model based planner (2001) Proceedings of the IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information
• Brafman, R.I., Shani, G., Replanning in domains with partial information and sensing actions (2012) J. Artif. Intell. Res. (JAIR), 45, pp. 565-600
• Carzaniga, A., Gorla, A., Mattavelli, A., Perino, N., Pezze, M., Automatic recovery from runtime failures (2013) Proceedings of the 2013 International Conference on Software Engineering, pp. 782-791. , IEEE Press
• Checiu, L., Solomon, B., Ionescu, D., Litoiu, M., Iszlai, G., Observability and controllability of autonomic computing systems for composed web services (2011) Applied Computational Intelligence and Informatics (SACI), 2011 6th IEEE International Symposium on, pp. 269-274
• Cheng, B.H., Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Whittle, J., Software engineering for self-adaptive systems: A research roadmap (2009) Software Engineering for Self-Adaptive Systems, Volume 5525 of Lecture Notes in Computer Science, pp. 1-26. , B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, editors,Springer Berlin Heidelberg
• Computing, A., An architectural blueprint for autonomic computing (2006) IBM White Paper
• Da Silva, C.E., De Lemos, R., Using dynamic workows for coordinating self-adaptation of software systems (2009) Software Engineering for Adaptive and Self-Managing Systems, International Workshop on, pp. 86-95
• De Alfaro, L., Henzinger, T.A., Interface automata (2001) ESEC / SIGSOFT FSE, pp. 109-120. , ACM
• D'Ippolito, N.R., Braberman, V., Piterman, N., Uchitel, S., Synthesis of live behaviour models (2010) Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE '10, pp. 77-86. , New York, NY, USA,ACM
• Elkhodary, A., Esfahani, N., Malek, S., Fusion: A framework for engineering self-tuning self-adaptive software systems (2010) Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 7-16. , ACM
• Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G., Model evolution by run-time parameter adaptation (2009) Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on, pp. 111-121. , IEEE
• Esfahani, N., Malek, S., Uncertainty in self-adaptive software systems (2010) Software Engineering for Self-Adaptive Systems, Volume 7475 of Lecture Notes in Computer Science, pp. 214-238. , R. de Lemos, H. Giese, H. A. Muller, and M. Shaw, editors,Springer
• Gat, E., (1997) Three-layer Architectures, Artificial Intelligence and Mobile Robots, , MIT/AAAI Press
• Ghezzi, C., Pinto, L.S., Spoletini, P., Tamburrelli, G., Managing non-functional uncertainty via model-driven adaptivity (2013) Proceedings of the 2013 International Conference on Software Engineering, pp. 33-42. , IEEE Press
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11, pp. 257-266. , New York, NY, USA,ACM
• Giese, H., Schaefer, W., Model-driven development of safe self-optimizing mechatronic systems with mechatronicUML (2012) Technical Report tr-ri-12-322, , Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany, Apr
• Gillula, J.H., Huang, H., Vitus, M.P., Tomlin, C.J., Design and analysis of hybrid systems, with applications to robotic aerial vehicles (2009) ISRR, Volume 70 of Springer Tracts in Advanced Robotics, pp. 139-149. , C. Pradalier, R. Siegwart, and G. Hirzinger, editors,Springer
• Goldsby, H.J., Sawyer, P., Bencomo, N., Cheng, B.H., Hughes, D., Goal-based modeling of dynamically adaptive system requirements (2008) Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the, pp. 36-45. , IEEE
• Gradel, E., Thomas, W., Wilke, T., (2002) Automata Logics, and In-nite Games: A Guide to Current Research, , Springer-Verlag New York, Inc., New York, NY, USA
• Hager, J.A., Software cost reduction methods in practice (1989) IEEE Trans. Softw. Eng, 15 (12), pp. 1638-1644. , Dec
• Kramer, J., Magee, J., Self-managed systems: An architectural challenge (2007) 2007 Future of Software Engineering, FOSE '07, pp. 259-268. , Washington, DC, USA,IEEE Computer Society
• Kress-Gazit, H., Conner, D., Choset, H., Rizzi, A., Pappas, G., Courteous cars (2008) Robotics Automation Magazine, IEEE, 15 (1), pp. 30-38
• Letier, E., Heaven, W., Requirements modelling by synthesis of deontic input-output automata (2013) ICSE, pp. 592-601. , D. Notkin, B. H. C. Cheng, and K. Pohl, editors,IEEE / ACM
• Magee, J., Kramer, J., (2006) Concurrency: State Models & Java Programs, , Wiley New York
• Manna, Z., Waldinger, R., A deductive approach to program synthesis (1980) ACM Trans.Program. Lang. Syst, 2 (1), pp. 90-121. , Jan
• Marco, A.D., Inverardi, P., Spalazzese, R., Synthesizing self-adaptive connectors meeting functional and performance concerns (2013) SEAMS, pp. 133-142. , M. Litoiu and J. Mylopoulos, editors,IEEE / ACM
• Panzica La Manna, V., Greenyer, J., Ghezzi, C., Brenner, C., Formalizing correctness criteria of dynamic updates derived from specification changes (2013) Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 63-72. , IEEE Press
• Piterman, N., Pnueli, A., Sa'Ar, Y., Synthesis of reactive (1) designs (2006) Lecture Notes in Computer Science, 3855, pp. 364-380
• Ramadge, P., Wonham, W., The control of discrete event systems (1989) Proceedings of the IEEE, 77 (1), pp. 81-98
• Ramirez, A.J., Cheng, B.H., Bencomo, N., Sawyer, P., Relaxing claims: Coping with uncertainty while evaluating assumptions at run time (2012) Model Driven Engineering Languages and Systems, Volume 7590 of Lecture Notes in Computer Science, pp. 53-69. , R. B. France, J. Kazmeier, R. Breu, and C. Atkinson, editors,Springer Berlin Heidelberg
• Randell, B., System structure for software fault tolerance (1975) Software Engineering, IEEE Transactions on, (2), pp. 220-232
• Russell, S., Norvig, P., (1995) Artificial Intelligence: A Modern Approach, , New Jersey
• Schoppers, M., Universal plans for reactive robots in unpredictable environments (1987) IJCAI, 87, pp. 1039-1046. , Citeseer
• Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K., Learning revised models for planning in adaptive systems (2013) Proceedings of ICSE
• Sykes, D., Heaven, W., Magee, J., Kramer, J., From goals to components: A combined approach to self-management (2008) Proceedings of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS'08
• 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. , ACM
• Thrun, S., Burgard, W., Fox, D., (2005) Probabilistic Robotics (Intelligent Robotics and Autonomous Agents), , The MIT Press
• Van Lamsweerde, A., Letier, E., Handling obstacles in goal-oriented requirements engineering (2000) IEEE Trans. Softw. Eng, 26 (10), pp. 978-1005. , Oct
• Welsh, K., Sawyer, P., Bencomo, N., Towards requirements aware systems: Run-time resolution of design-time assumptions (2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on, pp. 560-563. , IEEE
• Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H., Bruel, J.-M., Relax: Incorporating uncertainty into the specification of self-adaptive systems (2009) Requirements Engineering Conference, 2009. RE'09. 17th IEEE International, pp. 79-88. , IEEE
• Zhang, J., Cheng, B.H.C., Model-based development of dynamically adaptive software ICSE '06: Proceeding of the 28th International Conference on Software Engineering, pp. 371-380. , New York, NY, USA, 2006. ACM PressA4 - ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)

Citas:

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

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

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

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