Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2003Formale Spezifikation des strukturierten Anforderungsmanagements für das Domain Engineering anhand eines Beispiels aus der Automobilindustrie
Borusan, A.; Kebemou, A.; Feldo, M.
Book
2002Komponentendekomposition in der Verhaltensmodellierung
Sievers, B.; Borusan, A.; Webers, W.
Report
2000Kontinuierliches Engineering: Grundlegende Terminologie und Basiskonzepte
Borusan, A.; Große-Rhode, M.; Ehrig, H.; Kutsche, R.-D.; Mann, S.; Padberg, J.; Sünbül, A.; Weber, H.
Report
2000Towards a Component Concept for Continuous Software Engineering
Mann, S.; Borusan, A.; Ehrig, H.; Große-Rhode, M.; Mackenthun, R.; Sünbül, A.; Weber, H.
Book
1999Initial realization of the "Petri Net Baukasten"
Battke, A.; Borusan, A.; Dehnert, J.; Ehrig, H.; Ermel, C.; Gajewsky, M.; Hoffmann, K.; Hohberg, B.; Juhas, G.; Lembke, S.; Martens, A.
Book
1997Verifikation im Vorgehensmodell anhand eines Beispiels
Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E.
Conference Paper
1996Essential der ESPRESS Methode
Borusan, A.; Büssow, R.; Dörr, H.; Lienert, D.; Montenegro, S.
Report
1996Essentials der ESPRESS Methode
Borusan, A.; Büssow, R.; Dörr, H.; Lienert, D.; Montenegro, S.
Report
1996Requirements on petri net technique from point of view of system development process
Borusan, A.
Conference Paper
1995Modelling and design of complex systems with petri nets
Borusan, A.
Conference Paper
1994A modular verification of complex real-time systems
Borusan, A.
Conference Paper
1994A petri net based modelling technology for manufacturing system engineering
Borusan, A.
Conference Paper