Software model and process verification and optimisation
Company Name: PragmaDev
We have expertise in modeling software and business processes. We have expertise in improving our existing toolsets: 1) PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify and optimise their models. It integrates a BPMN editor, an executor, an explorer, and a simulator. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies.
Imec is an RD hub for nano- and digital technologies
Company Name: IMEC
At imec, we shape the future. How? By enabling nano- and digital technology innovation with a significant impact on the quality of life. With our partners from companies, governments and academia. And supported by the three pillars of our R&D: a unique infrastructure that includes a 2.5-billion-euro 300mm semiconductor pilot line more than 5,000 expert scientists from over 95 countries an ecosystem of more than 600 world-leading industry partners and a global academic network