Header fortiss wissenschaftliche Publikationen
Wissenschaftliche Publikationen

Veröffentlichungen mit Forschungsergebnissen

Wissenschaft­liche Publikationen

Stichworte: formal specification

Liste als BibTeX-Datei exportieren

2014

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

2012

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