|
11 |
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Matheson, Dan McKay. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
12 |
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Grönniger, Hans. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
13 |
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Wenckstern, Michael von. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
14 |
Combinatorial robustness testing based on error-constraints
Fögen, Konrad. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
15 |
Ad-Hoc stream query processing
Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
16 |
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
|
|
|
|
17 |
CouchEdit - a modular graphical editing architecture for flexible modeling
Nachreiner, Leander. - Ulm : Universität Ulm, 2020
|
|
|
|
18 |
Fault-Tolerance and Deaggregation Security of Aggregate Signatures
Kaidel, Björn. - Karlsruhe : KIT-Bibliothek, 2020
|
|
|
|
19 |
Interaction-Based Creation and Maintenance of Continuously Usable Trace Links
Hübner, Paul. - Heidelberg : Universitätsbibliothek Heidelberg, 2020
|
|
|
|
20 |
Model-Based Product-Line Regression Testing of Variants and Versions of Variants
Lity, Sascha Burkhard. - Braunschweig : Technische Universität Braunschweig, 2020
|
|
Administration
