Publikationen

Chabarek, F. (2007). Towards Model-Oriented Requirements Management. Proc. of 15th IEEE International Requirements Engineering Conference. IEEE Computer Society (Hrsg.).

Glesner, S., Helke, S. and Jähnichen, S. (2007). VATES: Verifying the Core of a Flying Sensor. Proc. International Conference on Quality Engineering in Software Technology (Conquest 2007). dpunkt Verlag, 201-212.

Helke, S. (2008). Verification of Statecharts Using Structure- and Property-Preserving Data Abstraction. OPUS Technische Universität Berlin (also PhD dissertation 2007).

Herrmann, S. (2007). A precise model for contextual roles: The programming language ObjectTeams/Java. Applied Ontology. IOS Press, 181-207.

Herrmann, S., Hundt, C. and Mosconi, M. (2007). ObjectTeams/Java Language Definition - version 1.0.. Forschungsbericht 2007-3. TU Berlin - Fakultät IV.

Herrmann, S. and Mosconi, M. (2007). Integrating Object Teams and OSGi: Joint Efforts for Superior Modularity. Journal of Object Technology. ET´th Zürich.

Kammüller, F. and Henrio, L. (2007). A Mechanized Model of the Theory of Objects. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings. Springer Verlag, 190-205.

Kuzmanovski, A. and Oesterreich, R. (2007). Das KABA-Verfahren als Werkzeug der softwaretechnischen Anforderungsanalyse. Kontrastive Aufgabenanalyse. vdf Zürich.

Preibusch, S. and Kammüller, F. (2007). Checking the TWIN Elevator System by Translating Object-Z to SMV. Formal Methods for Industrially Critical Systems, FMICS 2007. Springer Verlag, 16-.

Reiser, M.-O., Tavakoli Kolagari, R. and Weber, M. (2007). Unified Feature Modeling as a Basis for Managing Complex System Families. VaMoS: First Intl. Workshop on Variability Modelling of Software-intensive Systems. Lero, 79-85.

Santen, T. and Seifert, D. (2006). Executing UML Statemachines. TU Berlin - Fakultät IV.

Seifert, D. (2007). Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. Dissertation, TU Berlin, Shaker Verlag.

Tavakoli Kolagari, R., Cuenot, P., Chen, D., Gerard, S., Lönn, H., Reiser, M.-O., Servat, D., Törngren, M. and Weber, M. (2007). Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. Architecting Dependable Systems IV. Springer, 39-65.

Tavakoli Kolagari, R. and Reiser, M.-O. (2007). Reusing Requirements: The Need for Extended Variability Models. Tehran.

Wappler, S., Baresel, A. and Wegener, J. (2007). Improving Evolutionary Testing in the Presence of Function-Assigned Flags. Proceedings of the Testing: Academic and Industrial Conference 2007. IEEE Computer Society Press.

Wappler, S. and Schieferdecker, I. (2007). Improving Evolutionary Class Testing in the Presence of Non-Public Methods. ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. IEEE/ACM, 381-384.

Windisch, A., Wappler, S. and Wegener, J. (2007). Applying Particle Swarm Optimization to Software Testing. Proceedings of the 9th annual conference on Genetic and evolutionary computation (GECCO'07). ACM Press, 1121 - 1128.

Wloka, J. (2007). Tool-supported Refactoring of Aspect-oriented Programs. Dissertation, TU Berlin.

Zander-Nowicka, J., Marrero Pérez, A. and Schieferdecker, I. (2007). From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems. Proceedings of the 2007 International Conference on Software Engineering Research and Practice (SERP'07), Vol. II. CSREA Press, 347-353.

Zander-Nowicka, J., Marrero Pérez, A., Schieferdecker, I. and Dai, Z. R. (2007). Test Design Patterns for Embedded Systems. Business Process Engineering, Proceedings of the CONQUEST 2007. dpunkt.verlag, 183-200.