Description
Leader of the group Software Analysis and Transformation: Jurgen Vinju.
SWAT studies software systems: their design, construction and evolution. Our mission is to learn to understand software systems and to improve their quality. In particular, we study the causes of software complexity – a major cause of technology failure in society – and investigate how complex systems can be made simpler and more reliable. We analyze and visualize software systems, transforming them into better versions of themselves. We also generate new software with the goal of simplifying it through automation and abstraction. We keep our feet on the ground by working with corporate IT departments on streamlining their software systems and making them more reliable. Putting our ideas into practice is the best way to ensure they work.
News
Rascal for Easy Meta-Programming
Rascal is a new meta-programming language that was launched by CWI at the Summer School on Generative and Transformational Techniques in Software Engineering, 6-11 July, in Braga, Portugal.
SIG wins ICTRegie Award
On Wednesday the Software Improvement Group (SIG) won the ICTRegie Award. The CWI spin-off SIG analyses any software source code in an automated manner. The company maps out the quality of the system, measures the changeability and assesses the situation. All based on automated analysis of source code. Paul Klint, Tobias Kuipers, Arie van Deursen and Marjo Wildvank are the founders of SIG.
Jan van Eijck appointed NIAS Fellow
Jan van Eijck has been appointed NIAS fellow on 1 September 2006. For five months he will be engaged in research on Games, Action and Social Software at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar. During this period, scientists from different disciplines - philosophy, logic, computer science, psychology, and economics - collaborate in an intensive interactive setting to find a more unified view of social mechanisms.
Members of Software Analysis and Transformation
Publications
-
Landman, D. (2017, October 5). Reverse engineering source code : empirical studies of limitations and opportunities. Institute for Programming research and Algorithmics Dissertation Series.
-
van Rozen, R, & van der Storm, T. (2017). Toward live domain-specific languages: From text differencing to adapting models at run time. Software and Systems Modeling. doi:10.1007/s10270-017-0608-7
-
Inostroza Valdera, P.A, & van der Storm, T. (2017). Modular interpreters with implicit context propagation. Computer Languages, Systems and Structures, 48, 39–67. doi:10.1016/j.cl.2016.08.001
-
van den Brand, M.G.J, Vinju, J.J, & Mens, K. (2017). Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6). Science of Computer Programming, 134, 1–3. doi:10.1016/j.scico.2016.11.001
-
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2017). Knowing Values and Public Inspection. Presented at the Indian Conference on Logic and its Applications.
-
Vinju, J.J. (2017). OSSMETER.
-
Zacharopoulos, T, Inostroza Valdera, P.A, & van der Storm, T. (2016). Extensible modeling with managed data in Java. In GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016 (pp. 25–35). doi:10.1145/2993236.2993240
-
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2016). Knowing Values and Public Inspection. arXiv.org e-Print archive.
-
M. Ó Cinnéide (Mel), Yamashita, A, & S. Counsell (Steve). (2016). Measuring refactoring benefits: a survey of the evidence. In Proceedings of the 1st International Workshop on Software Refactoring (pp. 9–12). doi:10.1145/2975945.2975948
-
Steindorfer, M.J. (2016, August). Immutable Collections.
Software
Rascal: one-stop shop for metaprogramming
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel: A domain-specific language for product development in finance
Rebel is a domain-specific language (DSL) targeted at the financial sector.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
Current projects with external funding
-
Adviseren en verrichten van onderzoek naar de functionele en niet-functionele eigenschappen van een deel van ING\'s IT-infrastructuur
-
Enterprise software engineering
-
Live Game Design
-
CROSSMINERDeveloper-Centric Knowledge Mining from Large Open-Source Repositories
-
MERITSModel Extraction for Re-engineering Traditional Software
Related partners
-
Dutch Game garden
-
Firebrush Studios
-
IC3D Media
-
ING Bank
-
ING Bank
-
Ludomotion
-
Hogeschool van Amsterdam
-
Technische Universiteit Delft