|
191 |
Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project
Arendt, Thorsten. - Marburg : Philipps-Universität Marburg, 2014
|
|
|
|
192 |
Rapid prototyping in der use-case-zentrierten Anforderungsanalyse
Hoffmann, Veit. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
193 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems
Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
194 |
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
195 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
196 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
197 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
198 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
199 |
Supporting the Quality Assurance of a Scientific Framework
Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
200 |
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
Administration
