Veröffentlichungen 2009

Jewgenij Botaschanjan and Alexander Harhurin: Property-Driven Scenario Integration. In: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE Computer Society, 2009.

Matthias Büker, Alexander Metzner, Stierand, Ingo: Testing Real-Time Task Networks with Functional Extensions Using Model-Checking. 14th International Conference on Emerging Technologies and Factory Automation, pp.564-573, 2009.

Marcus Ciolkowski: What do We Know about Perspective-Based Reading? An Approach for Quantitative Aggregation in Software Engineering. In 3rd International Symposium on Empirical Software Engineering and Measurement, IEEE/ACM, 2009.

D. Domis, M. Trapp: Component-Based Abstraction in Fault Tree Analysis. In : Proc. of the International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009), 2009.

Martin Feilkas, Alexander Harhurin, Judith Hartmann, Daniel Ratiu, and Wolfgang Schwitzer: Motivation and Introduction of a System of Abstraction Layers for Embedded Systems. Technical Report, TUM-I0925. Technische Universität München, 2009.

Florian Fieber, Nikolaus Regnat, Bernhard Rumpe: Assessing usability of model driven development in industrial projects. The Fourth Workshop "From code centric to model centric software engineering: Practices, Implications and ROI", June 24th, 2009 - University of Twente, Enschede, The Netherlands, 2009.

Hans-Joachim Goltz, Norbert Pieth: A tool for generating partition schedules of multiprocessor systems; in: Proc. of the 23rd Workshop on (Constraint) Logic Programming 2009; U. Geske, A. Wolf (eds.), Universitätsverlag Potsdam, pp. 167-176, 2010.

Anne Groß, Jörg Dörr, Igor Menzel, and Mark Müller: Use Cases vs. Funktionale Spezi-fikation: Ein experimenteller Vergleich zweier Techniken zur Anforderungs-spezifikation. GI-Fachgruppen-Treffen Requirements Engineering, 2009.

Hartmut Lackner, Jaroslav Svacina and Holger Schlingloff: Test Case Generation from workflow-based Requirement Specifications, Proceedings of the 2009 Workshop on Concurrency, Specification and Programming, 2009.

Liliana Guzmán, Jürgen Münch, Dieter Rombach: Qualitative Synthesis of Evidence in Software Engineering - A Systematic Review. Technical Report, 2009.

Alexander Harhurin, Judith Hartmann, and Daniel Ratiu: Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems. Technical Report, TUM-I0924. Technische Universität München, 2009.

Markus Herrmannsdoerfer and Stefano Merenda: Result of the Tool Questionnaire. Technical Report, TUM-I0929. Technische Universität München, 2009.

Sven Kagel, and Meike Lim: Herausforderungen der Variantenentwicklung im Anforderungsmanagement meistern. GI-Fachgruppentreffen Requirements Engineering (RE), Essen, (pdf), 2009.

Hartmut Lackner, Jaroslav Svacina and Holger Schlingloff: Test Case Generation from workflow-based Requirement Specifications. Proceedings of the 2009 Workshop on Concurrency, Specification and Programming, (pdf), 2009.

Ulrich Löwen, Kristian Dencovski, Thomas Wagner: Integration of Information and Tools: Where are the Gaps? 15th Daratech Plant Conference, February 23-25, Houston, Texas, 2009.

K. Lauenroth, K. PohlModel Checking of Domain Artifacts in Product Line Engineering. In: Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009, Auckland, New Zealand, November 16-20), 2009.

Ulrich Löwen, Thomas Wagner: Modellierung komplexer technischer Systeme - Anforderungen und Erfahrungen aus dem Anlagenbau. Tagungsband Mechatronik 2009, 12.-13. Mai 2009, ISBN 978-3-98-12624-5-2, Wiesloch, Deutschland, 2009.

K. Pohl, E. Sikora: COSMOD-RE - Verzahnung des Architekturentwurfs mit dem Requirements Engineering. In: OBJEKTspektrum, Online-Themenspecial: Architekturen, 2009.

Daniel Ratiu, Judith Thyssen, and Wolfgang Schwitzer: A System of Abstraction Layers for the Seamless Development of Embedded Software Systems. Technical Report, TUM-I0928. Technische Universität München, 2009.

C. Rüth: Intelligente Maschinen ohne Denkfehler. Faszination Forschung 2009, 1, pp. 50-57 (pdf, bib), 2009.

T. Schüle: A Coordination Language for Programming Embedded Multi-Core Systems. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), IEEE, 2009.

Thilo Tetzner, Norbert Gewald: Mechatronisches Konzept im Engineering von Industrieanlagen - Anforderungen aus Anwendersicht. 6. Berlin-Aachener Symposium, Berlin, 26./27. März 2009, 2009.

Hans-Werner Wiesbrock: Das Entwicklungsdreieck Anforderungen - Design - Test: Ein Praxisbericht über die Kopplung der einzelnen Artefakte. In Proc. Software-Quality-Days 2009, Wien, 2009.