Media type: E-Book; Thesis Title: Software product and process quality improvement using formal methods Contributor: Mishra, Satish [Verfasser]; Fischer, Joachim [Akademischer Betreuer]; Krieg-Brückner, Bernd [Akademischer Betreuer]; Schlingloff, Holger [Akademischer Betreuer] imprint: Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015 Extent: Online-Ressource Language: English Identifier: Keywords: Software Prudukt und Software Prozess ; Formal Methoden ; CMMI ; CSP CASL ; Software Pruduct und Software Process ; Formal Methods ; Hochschulschrift Origination: University thesis: Berlin, Humboldt Universität zu Berlin, Diss., 2014 Footnote: Access State: Open Access