On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M13Mousavi: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain..." |
(No difference)
|
Latest revision as of 00:49, 31 December 2013
After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain Specific Language (DSL) is developed for medical devices (such as CT-scanners and X-Ray machines). We report on the formal semantics, and early validation and verification technology around this DSL.
(Joint work with Arjan Mooij, TNO and Sarmen Keshishzadeh, TU Eindhoven, The Netherlands)
