fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: formal specification

Export list as BibTeX file

2014

  • August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl, Wolfgang Böhm and Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, Details DOI BIB

2012

  • September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, Details DOI BIB