References

  1. M. Autili, P. Di Benedetto & P. Inverardi (2009): Context-Aware Adaptive Services: The PLASTIC Approach. In: Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science 5503. Springer, doi:10.1007/978-3-642-00593-0_9.
  2. B. Bartels & M. Kleine (2011): A CSP-based framework for the specification, verification, and implementation of adaptive systems. In: Software Engineering for Adaptive and Self-Managing Systems. ACM, doi:10.1145/1988008.1988030.
  3. B. Becker, D. Beyer, H. Giese, F. Klein & D. Schilling (2006): Symbolic invariant verification for systems with dynamic structural adaptation. In: 28th International Conference on Software Engineering, doi:10.1145/1134285.1134297.
  4. G. Behrmann (2006): UPPAAL 4.0. In: International Conference on Quantitative Evaluation of Systems.
  5. B. Cheng (2009): Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems, LNCS 5525. Springer, doi:10.1007/978-3-642-02161-9_1.
  6. J. Dowling (2004): Decentralised Coordination of Self-Adaptive Components for Autonomic Distributed Systems. University of Dublin, Trinity College.
  7. A. Ebnenasir (2007): Designing Run-Time Fault-Tolerance Using Dynamic Updates. In: Software Engineering for Adaptive and Self-Managing Systems. IEEE, doi:10.1109/SEAMS.2007.5.
  8. D. Garlan, S. Cheng, A. Huang, B. Schmerl & P. Steenkiste (2004): Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. IEEE Computer 37(10), doi:10.1109/MC.2004.175.
  9. I. Georgiadis, J. Magee & J. Kramer (2002): Self-organising software architectures for distributed systems. In: 1st Workshop on Self-healing Systems. ACM, doi:10.1145/582129.582135.
  10. M. Gudemann, F. Ortmeier & W. Reif (2006): Formal Modeling and Verification of Systems with Self-x Properties. Lecture Notes in Computer Science. Springer, doi:10.1007/11839569_4.
  11. C. Heinzemann & S.Henkler (2011): Reusing dynamic communication protocols in self-adaptive embedded component architectures. In: 14th Symposium on Component-based Software Engineering. ACM, doi:10.1145/2000229.2000246.
  12. J. Kephart & D. Chess (2003): The Vision of Autonomic Computing. IEEE Computer Magazine 36(1), doi:10.1109/MC.2003.1160055.
  13. N. Khakpour, R. Khosravi, M. Sirjani & S. Jalili (2010): Formal analysis of policy-based self-adaptive systems. In: Symposium on Applied Computing. ACM, doi:10.1145/1774088.1774613.
  14. J. Kramer & J. Magee (2007): Self-Managed Systems: An Architectural Challenge. Future of Software Engineering, doi:10.1109/FOSE.2007.19.
  15. R. de Lemos (2012): Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: Software Engineering for Self-Adaptive Systems, LNCS 7475. Springer.
  16. J. Magee & T. Maibaum (2006): Towards specification, modelling and analysis of fault tolerance in self managed systems. In: Self-adaptation and Self-managing Systems. ACM, doi:10.1145/1137677.1137684.
  17. P. Oreizy, N. Medvidovic & R. Taylor (1998): Architecture-based runtime software evolution. In: International Conference on Software Engineering, doi:10.1109/ICSE.1998.671114.
  18. L. Tan (2006): Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. In: 6th International Conference on Quality Software, doi:10.1109/QSIC.2006.41.
  19. M. Utting & B. Legeard (2007): Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann.
  20. M. Utting (2011): A taxonomy of model-based testing approaches. Testing, Verification and Reliability, doi:10.1002/stvr.456.
  21. E. Vassev & M. Hinchey (2009): ASSL: A Software Engineering Approach to Autonomic Computing. Computer 42(6), pp. 90–93, doi:10.1109/MC.2009.174.
  22. D. Weyns (2012): Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems. In: ISSTA Workshop on Dynamic Analysis (WODA), doi:10.1145/2338966.2336803.
  23. D. Weyns, R. Haesevoets, A. Helleboogh, T. Holvoet & W. Joosen (2010): The MACODO Middleware for Context-Driven Dynamic Agent Organzations. ACM Transactions on Autonomous and Adaptive Systems 5(1), doi:10.1145/1671948.1671951.
  24. D. Weyns, S. Malek & J. Andersson (2012): FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems. ACM Transactions on Autonomous and Adaptive Systems, 7(1), doi:10.1145/2168260.2168268.
  25. J. Zhang & B. Cheng (2006): Model-based development of dynamically adaptive software. In: 28th International Conference on Software Engineering. ACM, doi:10.1145/1134285.1134337.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org