Evolution, adaptation, and the quest for incrementality

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7539 LNCS, Issue , 2012, Pages 369-379

  Ghezzi, Carlo ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; INCREMENTAL VERIFICATION; RESEARCH DIRECTIONS; RUNTIMES; SELF-ADAPTIVE SYSTEM; TIME CONSTRAINTS;

ADAPTIVE SYSTEMS;

INFORMATION TECHNOLOGY;

EID: 84868358070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34059-8_19     Document Type: Conference Paper

References (30)

1. Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Sterling, König, D., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. OASIS Committee Draft (May 2006)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Transactions on Software Engineering 29, 524-541 (2003)
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
4. Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: FoSER 2010, New York, USA (2010)
5. Belady, L., Lehman, M.: A model of large program development. IBM Systems Journal (1976)
6. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A Conceptual Framework for Adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240-254. Springer, Heidelberg (2012)
7. Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Communications of the ACM (accepted for publication)
8. Conway, C.L., Namjoshi, K.S., Dams, D.R., Edwards, S.A.: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 449-461. Springer, Heidelberg (2005)
9. Daws, C.: Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 280-294. Springer, Heidelberg (2005)
10. Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. In: ASE (2008)
11. Distefano, S., Filieri, A., Ghezzi, C., Mirandola, R.: A compositional method for reliability analysis of workflows affected by multiple failure modes. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 149-158. ACM, New York (2011)
12. Ershov, A.: On the partial computation principle. Information Processing Letters (1977)
13. Filieri, A., Ghezzi, C., Mandrioli, D.: Sidecar: Syntax-driven incremental compositional verification (unpublished internal report, 2012)
14. Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering (2011)
15. Ghezzi, C., Mandrioli, D.: Incremental parsing. ACM Transactions on Programming Languages and Systems (1979)
16. Ghezzi, C., Mandrioli, D.: Augmenting parsers to support incrementality. Journal of the ACM (1980)
17. Ghezzi, C., Tamburrelli, G.: Reasoning on non-functional requirements for integrated services. In: RE 2009. Proceedings of the International Conference on Requirements Engineering (2009)
18. Hahn, E.M., Hermanns, H., Zhang, L.: Probabilistic Reachability for Parametric Markov Models. In: Pǎsǎreanu, C.S. (ed.) Model Checking Software. LNCS, vol. 5578, pp. 88-106. Springer, Heidelberg (2009)
19. Henzinger, T.A., Jhala, R., Majumdar, R., Sanvido, M.A.A.: Extreme Model Checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 332-358. Springer, Heidelberg (2004)
20. Jackson, M., Zave, P.: Deriving specifications from requirements: An example. In: ICSE 1995, p. 1005 (1995)
21. Jalili, F.: A general incremental evaluator for attribute grammars. Science of Computer Programming (1985)
22. Jones, C.: Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems (1983)
23. Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: QEST, pp. 243-244. IEEE Computer Society, Los Alamos (2005)
24. Krishnamurthi, S., Fisler, K.: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2) (2007)
25. Kwiatkowska, M., Norman, G., Parker, D.: Prism 2.0: a tool for probabilistic model checking. In: Proceedings. First International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 322-323 (2004)
26. Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Assume-Guarantee Verification for Probabilistic Systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 23-37. Springer, Heidelberg (2010)
27. Lehman, M.: Life cycles, and laws of software evolution. Proceedings of the IEEE (1980)
28. Parnas, D.: On the criteria to be used in decomposing systems into modules. Communications of the ACM (1972)
29. Rushby, J.: An Overview of Formal Verification for the Time-Triggered Architecture. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 83-105. Springer, Heidelberg (2002)
30. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodology (1997)