We analyze and modernize software, build new software, and provide support for Rascal metaprogramming.
Knowledge-based Software Creation
A domain model is the best way to represent the knowledge in a domain and build software applications for it. To build completely new applications we provide services for creating so-called Domain Specific Languages: dedicated languages that can dramatically speed-up software development in a domain. An application is specified in the domain-specific language, it can be checked, verified and simulated to assess its behaviour and is then automatically converted into conventional software but with guaranteed properties.
Understanding & Modernizing Software
To get insight into an existing system or modernize it, we provide Understanding & Modernization services. We apply Software Analysis to a given system and create domain knowledge that can be used to better understand it, identify problematic parts, or drive a Software Transformation that recreates (parts of) the original system with better structure or more modern technology.
Support for Rascal Metaprogramming
Our services are largely based on the award-winning Rascal metaprogramming technology. We provide Rascal Metaprogramming services to help our clients benefit from this technology in their own projects.