Publikationen

Bittner, M., Hoffmann, M., Kühn, N. and Weber, M. (2004). Requirements for Requirements Management Tools. Proc. Requirements Engineering Conference, 12th IEEE International (RE'04)2. IEEE Computer Society, 301-308.

Buhr, K., Conrad, M. and Fey, I. (2004). Integration of Requirements into Model-based Development. Proceedings of the International Workshop on Automotive Requirements Engineering (AuRE 04), 23-31.

Buhr, K. and Tavakoli Kolagari, R. (2004). Softwarebasierte Produktlinien – Szenarien für Automobilhersteller und Zulieferer. Softwaretechnik Trends. Gesellschaft für Informatik, 30-33.

Kammüller, F. and Sanders, J. (2005). Idempotent Relations in Isabelle/HOL. Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China. Springer, 310-324.

Herrmann, S. (2004). Sustainable architectures by combining flexibility and strictness in Object Teams. IEE Proceedings Software. IEE Institution of Electrical Engineers, 57-66.

Jucknath, S., Wloka, J., Jul, E., ldadah, S. R. and Aguiar, A. (2004). The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium. Object-Oriented Technology. Ecoop 2004 Workshop Reader. Springer, 94 -100.

Kammüller, F. and Sanders, J. W. (2004). Heuristics for Refinement Relations. Proc. Second International Conference on Software Engineering and Formal Methods (SEFM'04). IEEE Computer Society, 292-299.

Laub, J. and Müller, K.-R. (2004). Feature Discovery in Non-Metric Pairwise Data. Journal of Machine Learning. MIT Press, 801-818.

Sokenou, D. (2004). Testfallgenerierung aus Statecharts und Interaktionsdiagrammen. Softwaretechnik-Trends. Gesellschaft für Informatik, 12-15.