Author:
Ghezzi Carlo,Molzam Sharifloo Amir
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
2. Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, FoSER 2010, pp. 17–22. ACM, New York (2010)
3. Bencomo, N., Sawyer, P., Blair, G.S., Grace, P.: Dynamically adaptive systems are product lines too: Using model-driven techniques to capture dynamic variability of adaptive systems. In: Workshop on Dynamic Software Product Lines, pp. 23–32 (2008)
4. Calinescu, R., Kwiatkowska, M.: Using quantitative analysis to implement autonomic it systems. In: Proceedings of the 31st International Conference on Software Engineering, pp. 100–110 (2009)
5. Lecture Notes in Computer Science;C. Cetina,2010
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献