Publisher
Springer International Publishing
Reference8 articles.
1. Cleve, A., Kindler, E., Stevens, P., Zaytsev, V.: Multidirectional transformations and synchronisations (dagstuhl seminar 18491). Dagstuhl Rep. 8(12), 1–48 (2018)
2. Dijkstra, E.W.: Selected Writings on Computing: A Personal Perspective, Chapter On the Role of Scientific Thought, pp. 60–66. Springer-Verlag, Heidelberg (1982)
3. Erdweg, S., Lichter, M., Weiel, M.: A sound and optimal incremental build system with dynamic dependencies. In: OOPSLA, pp. 89–106. ACM (2015)
4. Johnson, M., Stevens, P.: Confidentiality in the process of (model-driven) software development. In: Proceedings of the 7th International Workshop on Bidirectional Transformations, Bx 2018, co-located with 2nd International Conference on the Art, Science, and Engineering of Programming, ACM (2018)
5. Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. EC-EASST, 49 (2012)