Author of the publication

mbeddr: Instantiating a Language Workbench in the Embedded Software Domain

, , , and . Automated Software Engineering, 20 (3): 339--390 (September 2013)
DOI: 10.1007/s10515-013-0120-4

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV., , and . FormaliSE@ICSE, page 41-50. IEEE / ACM, (2019)Metamodel Usage Analysis for Identifying Metamodel Improvements., , and . SLE, volume 6563 of Lecture Notes in Computer Science, page 62-81. Springer, (2010)Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice., , and . CoRR, (2021)FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems., , , , and . Domain-Specific Languages in Practice, Springer, (2021)Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation., , , , and . Software Engineering (Workshops), volume P-160 of LNI, page 93-102. GI, (2010)Using concept analysis to detect co-change patterns., , , , and . IWPSE, page 83-89. ACM, (2007)Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts., , and . ACES-MB@MoDELS, volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners., , and . MoDELS, page 83-92. IEEE Computer Society, (2017)Lessons learned from developing mbeddr: a case study in language engineering with MPS., , , , and . Softw. Syst. Model., 18 (1): 585-630 (2019)An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners., and . Int. J. Softw. Tools Technol. Transf., 21 (3): 267-286 (2019)