direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2010

Bittner, M., Reiser, O. and M., W. (2010). A Case Study on Tool-Supported Multi-Level Requirements Management in Complex Product Families. Proc. of the 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010). Springer, 173-187.


Bartels, B., Glesner, S. and Göthel, T. (2010). Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig


Bartels, B. and Glesner, S. (2010). Formal Modeling and Verification of Low-Level Software Programs. 10th International Conference on Qualtiy Software (QSIC 2010). IEEE Computer Society, pp. 200–207.


Abele, A., Johansson, R., Lönn, H., Papadopoulos, Y., Reiser, O., Servat, D., Törngren, D. and Weber, M. (2010). The CVM Framework - A Prototype Tool for Compositional Variability Management. Proc. of the 4th International Workshop on Variability Modeling of Software-Intensive Systems (VAMOS 2010). Universität Duisburg-Essen, 101-105.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe