Our world and society are shaped and governed by systems and software. Almost all devices, machines and artifacts surrounding us incorporate software to some extent. Additionally, the numerous organizations, businesses and enterprises we encounter on a daily basis could not function without software. Examples of software systems are numerous: worldwide web applications and desktop software but also embedded systems like pacemakers, cell phones, train control systems, and automotive components.
Ansymo(1) is a research group investigating foundations, techniques, methods and tools for the design, analysis and maintenance of such software-intensive systems. The nature of these systems, however, has changed considerably in the last few years. Firstly, the availability of more computational resources, including parallel computation and interactive behavior has enabled one to tackle ever more complex applications. Secondly, the need to consider interactions of software with physical components has led to the study of hybrid systems, adding even more complexity. Finally, the view that a software system is a static entity has given way to the view that software needs evolve, i.e., that changes in requirements or platforms can be accommodated easily.