Login / Signup
Martin Böschen
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 2
Top Topics
Specification Languages
Formal Specification
Object Oriented Design
Natural Language
Top Venues
SAFECOMP Workshops
REFSQ Workshops
SKY
</>
Publications
</>
Martin Böschen
,
Ralf Bogusch
,
Anabel Fraga
,
Christian Rudat
Bridging the Gap between Natural Language Requirements and Formal Specifications.
REFSQ Workshops
(2016)
Martin Böschen
,
Christian Rudat
Tracing of Informal and Formal Requirements through Model Variables.
SKY
(2015)
Christian Ellen
,
Martin Böschen
,
Thomas Peikenkamp
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.
SAFECOMP Workshops
(2014)