Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
 

Michael Meisinger's Publications

2008


PDF-Datei Michael Meisinger, Sabine Rittmann
A comparison of service-oriented development approaches
Technical Report, number TUM-I0825, Technische Universität München, 2008
Technical Report   Details | Bibtex Entry

Manfred Broy, Ingolf H. Krüger, and Michael Meisinger (Eds.)
Model-Driven Development of Reliable Automotive Services
Lecture Notes in Computer Science, number 4922, Springer, Heidelberg, 2008
Book   Details | Bibtex Entry | Link

2007


Manfred Broy, Ingolf Krüger, Michael Meisinger
A formal model of services
In ACM Transactions on Software Engineering Methodology (TOSEM), volume 16, number 1, ACM Press New York, NY, USA, 2007
Journal article   Details | Bibtex Entry | Link

PDF-Datei Michael Meisinger, Ingolf Krüger
A Service-Oriented Extension of the V-Modell XT
In Proceedings of the 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS'07), IEEE, 2007
Conference paper   Details | Bibtex Entry

PDF-Datei Ingolf Krüger, Michael Meisinger, Massimiliano Menarini
Applying Service-Oriented Development to Complex System: a BART case study
In Reliable Systems on Unreliable Networked Platforms. Proceedings of the Monterey Workshop 2005, Laguna Beach, USA, Fabrice Kordon, Janos Sztipanovits (Eds.), Lecture Notes in Computer Science, number 4322, Springer Verlag, 2007
Conference paper   Details | Bibtex Entry | Link

Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann , Bernhard Schätz, Maria Spichkova, Doris Wild
Modeling CoCoME with Focus/AutoFocus
In The Common Component Modeling Example. Comparing Software Component Models, volume 5153, Springer, 2007
Conference paper   Details | Bibtex Entry

PDF-Datei Vina Ermagan, To-Ju Huang, Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
In Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES'07), Informatik-Bericht 2007-01, Fakultät für Informatik, Technische Universität Braunschweig, 2007
Conference paper   Details | Bibtex Entry

2006


PDF-Datei Michael Meisinger, Andreas Rausch, Marc Sihling
4everedit - Team-based Process Documentation Management
In Software Process Improvement and Practice, pp. 627--642, volume 11, number 6, John Wiley & Sons, Inc, 605 Third Ave, New York, NY, 10016, USA, 2006
Journal article   Details | Bibtex Entry | Link

PDF-Datei Ingolf Krüger, Gunny Lee, Michael Meisinger
Automating Software Architecture Exploration with M2Aspects
In Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) of ICSE 2006, pp. 51-58, ACM Press, 2006
Conference paper   Details | Bibtex Entry

Manfred Broy, Ingolf Krüger, Michael Meisinger (Eds.)
Automotive Software - Connected Services in Mobile Networks
LNCS, volume 4147, Springer, 2006
Book   Details | Bibtex Entry | Link

PDF-Datei Ingolf Krüger, Reena Mathew, Michael Meisinger
Efficient Exploration of Service-Oriented Architectures using Aspects
In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pp. 62-71, ACM Press, 2006
Conference paper   Details | Bibtex Entry

PDF-Datei Stefan Wagner, Michael Meisinger
Integrating a Model of Analytical Quality Assurance into the V-Modell XT
In Proc. of the Third International Workshop on Software Quality Assurance (SOQUA '06), pp. 38-45, ACM Press, 2006
Conference paper   Details | Bibtex Entry

PDF-Datei Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco
Rapid Systems of Systems Integration – Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure
In Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI 2006), IEEE, 2006
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Norbert Diernhofer, Johannes Grünbauer, Michael Meisinger, Martin Rappl, Sabine Rittmann, Bernhard Schätz, Maurice Schoenmakers, Bernd Spanfelner
Service-Oriented Development - Whitepaper
Technical Report, Technische Universität München, 2006
Technical Report   Details | Bibtex Entry | Link

2005


PDF-Datei Ingolf Krüger, Reena Mathew, Michael Meisinger
From Scenarios to Aspects: Exploring Product Lines
In Proceedings of the ICSE 2005 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'05) of ICSE 2005, ACM Press, 2005
Conference paper   Details | Bibtex Entry

PDF-Datei Jaswinder Ahluwalia, Ingolf Krüger, Michael Meisinger, Walter Phillips
Model-Based Run-Time Monitoring of End-to-End Deadlines
In Proceedings of the Conference on Embedded Systems Software (EMSOFT 2005), 2005
Conference paper   Details | Bibtex Entry

PDF-Datei Martin Deubler, Ingolf Krüger, Michael Meisinger, Sabine Rittmann
Modeling Crosscutting Services with UML Sequence Diagrams
In Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2005
Conference paper   Details | Bibtex Entry

2004


PDF-Datei Michael Meisinger, Andreas Rausch, Martin Deubler, Michael Gnatz, Ulrike Hammerschall, Inga Küffer, Sascha Vogel
Das V Modell 200x – ein modulares Vorgehensmodell
In 11. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI) zur Akzeptanz von Vorgehensmodellen, Ralf Kneuper, Roland Petrasch, Manuela Wiemers (Eds.), Shaker Verlag, 2004
Conference paper   Details | Bibtex Entry

PDF-Datei Michael Gnatz, Martin Deubler, Michael Meisinger, Andreas Rausch
Towards an Integration of Process Modeling and Project Planning
In Proceedings of the 5th International Workshop on Software Process Simulation and Modeling (ProSim 2004). ICSE 2004, 2004
Conference paper   Details | Bibtex Entry

2000


PDF-Datei Jean Hartmann, Claudio Imoberdorf, Michael Meisinger
UML-based Integration Testing
In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2000
Conference paper   Details | Bibtex Entry