Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2014Entwicklung und Optimierung von Gebäude-Management-Systemen
Clauß, Christoph; Fordran, Eva; Haufe, Jürgen; Meyer, Richard; Seidel, Stephan; Majetta, Kristin; Franke, Matthias
Conference Paper
2012Automated risk-based testing by integrating safety analysis information into system behavior models
Nazier, Ramy; Bauer, Thomas
Report
2011An adaptive control model for non-functional feature interactions
Prehofer, Christian
Conference Paper
2008A new approach for modeling and verification of discrete control components within a modelica environment
Donath, U.; Haufe, J.; Blochwitz, T.; Neidhold, T.
Conference Paper
2004Simulating textual scenarios using state charts
Denger, C.; Olsson, T.
Conference Paper
2003Beschreibung elektronischer Steuergeräte mit Use Cases und Statecharts
Denger, C.; Paech, B.; Knethen, A. von; Kerkow, D.
Conference Paper
2003High quality statecharts through tailored, perspective-based inspections
Denger, C.; Ciolkowski, M.
Conference Paper
2003Inspection of High Level Statecharts
Denger, C.
Report
2002Richtlinien - Von Use Cases zu Statecharts in 7 Schritten
Denger, C.; Kerkow, D.; Knethen, A. von; Medina Mora, M.; Paech, B.
Report
2001Structure of QUASAR requirements documents
Kamsties, E.; Knethen, A. von; Paech, B.
Report
1998A metamodel for object-oriented statecharts
Mann, S.; Klar, M.
Conference Paper
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Conference Paper
1997Horizontal and vertical structuring techniques for statecharts
Klar, M.; Ehrig, H.; Geisler, R.; Padberg, J.
Conference Paper
1997Object-oriented requirements analysis for air traffic control system
Wortmann, J.; Claßen, I.; Klawitter, G.
Conference Paper
1997Spezifikation einer Lichtsignalanlagen-Steuerung mit Mikro-SZ
Klar, M.; Mann, S.; Büssow, R.; Geisler, R.
Report
1997Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts
Klar, M.; Büssow, R.; Geisler, R.
Conference Paper
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Report
1996Object oriented analysis for advanced flight data management
Wortmann, J.
Book
1996Statechart-orientierte Modellierung mit höheren Petrinetzen
Fricke, O.
Conference Paper