Author:
Kehrer Timo,Tsigkanos Christos,Ghezzi Carlo
Publisher
Springer International Publishing
Reference32 articles.
1. Barkowsky, T., Bateman, J.A., Freksa, C., Burgard, W., Knauff, M.: Transregional collaborative research center SFB/TR 8 spatial cognition: reasoning, action, interaction. it–Inf. Technol. 47(3), 163–171 (2005)
2. Birkedal, L., Damgaard, T.C., Glenstrup, A.J., Milner, R.: Matching of bigraphs. Electron. Notes Theor. Comput. Sci. 175(4), 3–19 (2007)
3. Bivand, R.S., Pebesma, E., Gómez-Rubio, V.: Spatial Data Import and Export. Springer, Berlin (2013)
4. Busari, S.A., Letier, E.: Radar: A lightweight tool for requirements and architecture decision analysis. In: Proceedings of the 39th International Conference on Software Engineering, pp. 552–562. IEEE Press, Piscataway (2017)
5. Calinescu, R., Ghezzi, C., Kwiatkowska, M.Z., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69–77 (2012)