Martin Böschen

Tracing of Informal and Formal Requirements through Model Variables

Martin Böschen, Christian Rudat, 2015, SKY.

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

Martin Böschen, Thomas Peikenkamp, Christian Ellen, 2014, SAFECOMP Workshops.

Bridging the Gap between Natural Language Requirements and Formal Specifications

Martin Böschen, Christian Rudat, Anabel Fraga, 2016, REFSQ Workshops.