Autor der Publikation

Towards an Argument Pattern for the Use of Safety Performance Indicators

, , , und . Computer Safety, Reliability, and Security : SAFECOMP 2024 Workshops, 14989, Seite 160-172. Cham, Springer, (2024)
DOI: 10.1007/978-3-031-68738-9_12

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Lessons learned from developing mbeddr: a case study in language engineering with MPS., , , , und . Software and Systems Modeling, 18 (1): 585-630 (2019)mbeddr: instantiating a language workbench in the embedded software domain., , , und . Autom. Softw. Eng., 20 (3): 339-390 (2013)How Programs Represent Reality (and how they don't)., und . WCRE, Seite 83-92. IEEE Computer Society, (2006)An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners., und . STTT, 21 (3): 267-286 (2019)MIRA: A tooling-framework to experiment with model-based requirements engineering., , und . RE, Seite 330-331. IEEE Computer Society, (2013)Automated testing of DSL implementations: experiences from building mbeddr., und . AST@ICSE, Seite 15-21. ACM, (2016)Language Evolution in Practice: The History of GMF., , und . SLE, Volume 5969 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2009)Programs are Knowledge Bases., und . ICPC, Seite 79-83. IEEE Computer Society, (2006)The Logical Modularity of Programs., , und . WCRE, Seite 123-127. IEEE Computer Society, (2009)Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model., und . WCRE, Seite 192-201. IEEE Computer Society, (2004)