FACHGEBIET SOFTWARETECHNIK
2007Konferenzbeiträge
Chabarek, F. (2007),
Towards Model-Oriented Requirements Management,
in
`Proc. of 15th IEEE International Requirements Engineering Conference',
,
IEEE Computer Society (Hrsg.),
p.
.
Kammüller, F. & Florian; Henrio, L. (2007),
A Mechanized Model of the Theory of Objects,
in
`Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings',
Vol. 4468 of LNCS,
Springer Verlag,
pp. 190-205
.
Preibusch, S. & Kammüller, F. (2007),
Checking the TWIN Elevator System by Translating Object-Z to SMV,
in
`Formal Methods for Industrially Critical Systems, FMICS 2007',
Vol. of LNCS,
Springer Verlag,
pp. 16-
.
Reiser, M.-O., Tavakoli Kolagari, R., Weber, M. (2007),
Unified Feature Modeling as a Basis for Managing Complex System Families,
in
`VaMoS: First Intl. Workshop on Variability Modelling of Software-intensive Systems',
Vol. 2007-01 of Lero Technical Report,
Lero,
pp. 79-85
.
Wappler, S., Baresel, A., Wegener, J. (2007),
Improving Evolutionary Testing in the Presence of Function-Assigned Flags,
in
IEEE (eds.),
`Proceedings of the Testing: Academic and Industrial Conference 2007',
,
IEEE Computer Society Press,
pp. 23 - 34
.
Wappler, S., Schieferdecker, I. (2007),
Improving Evolutionary Class Testing in the Presence of Non-Public Methods,
in
`ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering',
,
IEEE/ACM,
pp. 381-384
.
Windisch, A., Wappler, S., Wegener, J. (2007),
Applying Particle Swarm Optimization to Software Testing,
in
ACM (eds.),
`Proceedings of the 9th annual conference on Genetic and evolutionary computation (GECCO'07)',
,
ACM Press,
pp. 1121 - 1128
.
Zander-Nowicka, J., Marrero, P. A., Schieferdecker, I,, Dai, Z. R. (2007),
Test Design Patterns for Embedded Systems,
in
`Business Process Engineering, Proceedings of the CONQUEST 2007',
,
dpunkt.verlag,
pp. 183-200
.
Buchbeiträge
Kuzmanovski, A., Oesterreich, R. (2007),
Das KABA-Verfahren als Werkzeug der softwaretechnischen Anforderungsanalyse,
in
`Kontrastive Aufgabenanalyse',
Vol. ,
vdf Zürich,
p.
.
Tavakoli Kolagari, R., Cuenot, P., Chen, D., Gerard, S., Lönn, H., Reiser, M.-O., Servat, D., Törngren, M., Weber, M. (2007),
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language,
in
`Architecting Dependable Systems IV',
Vol. LNCS 4615,
Springer,
pp. 39-65
.
Dissertationen
Helke, S. (2007),
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion, Technische Universität Berlin.
Seifert, D. (2007),
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten, Technische Universität Berlin.
Shaker Verlag.
Wloka, J. (2007),
Tool-supported Refactoring of Aspect-oriented Programs, Technische Universität Berlin.
URL: http://opus.kobv.de/tuberlin/volltexte/2007/1679/pdf/wloka_jan.pdf Diplomarbeiten
Borck, H. (2007) , Erweiterung eines Frameworks zum Testen
auf Basis von UML Zustandsmaschinen um Daten
und deren Auswertung, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Khan, A. (2007) , Modellierung eines Workflow Management
Systems innerhalb des rollenbasierten Autorisierungssystems TUBIS, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Kröz, M. (2007) , Erweiterung des Persistenzframeworks OJB
für die Programmiersprache ObjectTeams/Java, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Küfner, P. (2007) , Entwicklung eines simulationsbasierten Verfahrens
zur Differenzierung transierter Anlagenzustände
für die Leckage-Erkennung von Wasserpipelines, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Kuhnert, S. (2007) , Effiziente Suchraumeinschränkung zur constraint-
basierten Planung optionaler Aktivitäten auf
exclusiven Ressourcen, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Linden, T. (2007) , Konzeption und Implementierung eines Frameworks
zur Integration interaktiver Arbeitsschritte in die Ausführung workflow-basierter Grid-Anwendungen, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Mbambe Eyoum, M. (2007) , Analyse eines Algorithmus zur Kontrolle von
Artikelgewichten bei Selbstbedienungskassen, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Mertgen, A. (2007) , Modellbasierte Integration von Jointpoint Queries
für die aspektorientierte Sprache ObjectTeams/Java, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Pietsch, M. (2007) , Qualität und Eignung von Überdeckungskriterien
für die automatische Testfallerzeugung auf Bais
von UML Zustandsmaschinen, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Royal, A. (2007) , Produktlinienorientierte Entwicklung softwareintensiver
Systeme im Automobilbereich - Evaluierung
aspektorientierten Techniken zur Modellierung von
Variabilität anhand einer Fallstudie, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Sarkarati, M. (2007) , Scheduling Optional Tasks in an Overconstrained
System of Dependent Unary Resources, Using a
COP Approach, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Schien, D. (2007) , Coverage Criteria to Evaluate and Control a
Testprocess based on UML State Machines, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Werner, A. (2007) , Modellgetriebene Entwicklung eines erweiterten
UML-Editors zur Modellierung von
ObjectTeams/Java-Programmen, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
Widiker, J. (2007) , Policy-basierte Zugriffskontrolle für Joinpoints in der
aspektorientierten Sprache ObjectTeams/Java, Diplomarbeit, TU Berlin, Fakultät Elektrotechnik und Informatik
|