High level data structures are a cornerstone of modern programming and at the same time
stand in the way of compiler optimizations. In order to reason about user-or library-defined …

During my Master's degree, I never had the intention of pursuing a PhD. I valued industry
with its practical outcome higher than the, what I thought to be, purely theoretical results of …

Software producing organizations are increasingly using model driven development
platforms to improve software quality and developer productivity. Software architects …

Abstract Model-driven development practices are used to improve software quality and
developer productivity. However, the design and implementation of an environment with …

Modern computing is transitioning from a predominantly sequential processing model to
heterogeneous platforms that combine sequential, parallel, specialized, and distributed …

Model interpretation opens quite wide opportunities for domain analysts and software
developers. The main weakness related to using domain models in software development is …

Large information systems are now an essential component of our intellectual, economic
and social infrastructure. Yet the practical tools used to build and maintain such systems …