direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2007

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).

Link zur Publikation


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

Link zur Publikation

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

Link zur Publikation

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.



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.


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.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe