FORSOFT
BAYERISCHER FORSCHUNGSVERBUND SOFTWARE-ENGINEERING
Der Verbund
Effizientes und fachkundiges Software Engineering ist für unsere Industrie, aber auch für die Gesellschaft selbst, ein essentieller Erfolgsfaktor geworden. Erforderlich ist deshalb eine meßbare Beherrschung und durchgängige Gestaltung des Software Engineering. Vor diesem Hintergrund konzentriert sich FORSOFT II auf die Kernkompetenzen der Softwaretechnik in herausragenden Einsatzgebieten unter Einschluss betriebswirtschaftlicher Fragestellungen. Im Mittelpunkt stehen folgende Leitthemen:
- Durchgängige Gestaltung der Softwareentwicklungsprozesse und -methodik
- Wandlungsfähigkeit von Softwaresystemen auf Basis langlebiger Architekturen
- Software in Netzen und Interoperabilität
Diese Themen spiegeln sich in den Teilprojekten des Forschungsverbundes wieder. Dort werden in enger Kooperation mit Industrieunternehmen zentrale Fragestellungen des Software Engineering bearbeitet. In diese Arbeiten fließen die grundsätzlichen Ergebnisse von FORSOFT ein. Abgestimmt auf die Ziele werden weitere wissenschaftliche Resultate erarbeitet und in Lösungen umgesetzt. Die von den Aufgabenstellungen in den Teilprojekten getriebenen Erkenntnisse werden verallgemeinert und wissenschaftlich aufbereitet.
Organisation
Sprecher
Stellvertretender Sprecher
Geschäftsführung
Vorstand
- Prof. Dr. Manfred Broy
- Prof. Bernd Brügge, Ph.D.
- Prof. Dr. Jörg Eberspächer
- Prof. Dr.-Ing. Georg Färber
- Prof. Dr.-Ing. Gunther Reinhart
- Prof. Dr. Hans-Jürgen Schneider
- Univ.-Prof. Dr. Horst Wildemann
- Prof. Dr. Martin Wirsing
- Prof. Dr.-Ing. Georg Färber
- Prof. Dr.-Ing. Gunther Reinhart
- Prof. Dr. Hans-Jürgen Schneider
- Univ.-Prof. Dr. Horst Wildemann
- Prof. Dr. Martin Wirsing
Forschungsgruppenleiter
- Oliver Anton
- Dipl.-Ing. Hubert Baumeister
- Dr. Klaus Bergner
- Dipl.-Ing. sc. argr., Dipl.-Wirtsch.-Ing. argr. univ. Banu Büyükekici
- Dipl.-Ing. Oliver Casper
- Bernhard Deifel
- Dipl.-Ing., Dipl.-Wirtsch.-Ing. Nicholas Hawlitzky
- Dipl.-Wirtsch.-Ing. Carsten Jacobi
- Wolfgang Kellerer
- Michael Mauderer
- Sascha Molterer
- Alexander Münnich
- Veronika Thurner
- Oliver Anton
- Dipl.-Ing. Hubert Baumeister
- Dr. Klaus Bergner
- Dipl.-Ing. sc. argr., Dipl.-Wirtsch.-Ing. argr. univ. Banu Büyükekici
- Dipl.-Ing. Oliver Casper
- Bernhard Deifel
- Dipl.-Ing., Dipl.-Wirtsch.-Ing. Nicholas Hawlitzky
- Dipl.-Wirtsch.-Ing. Carsten Jacobi
- Wolfgang Kellerer
- Michael Mauderer
- Sascha Molterer
- Alexander Münnich
- Veronika Thurner
Wissenschaftler
- H. Bauer
- Bernhard Dichtl
- Clemens Dinges
- E. Dreher
- J. Drobek
- Volker Dülich
- Ernst Esslinger
- Detlef Frank
- Dr. Max Fuchs
- Volker Fürderer
- Monika Gonauser
- Prof. Dr. Rudolph Haggenmüller
- Veit Haslauer
- Jürgen K. Heinemann
- Dr. Rudolf Hettler
- Dipl.-Ing. Eduard Himmelsdorfer
- Dr. Joachim Holz
- Bernhard Huber
- Harald Ibl
- Bartholomäus Kellerer
- Christian Krawinkel
- Ulf Lange
- Dr. Luis Mandel
- Briktius Marek
- Dr. Mas
- Detlef Mehlmann
- Thomas Mehner
- Dr. Dimitrios Mihalios
- Peter Moritz
- Johannes Nierwetberg
- Beate Nothhelfer-Kolb
- Rudolph Obermeier
- Ernst Pohn
- H. Raffler
- Manfred Reitmeier
- Dr. Dieter Reng
- Günter Schneider
- Julia Schütt
- Dr.-Ing. Günther Schäffer
- Dr. Günther Seeser
- Michael Stal
- Stefan Sterr
- Dr.-Ing. Rainer Stetter
- Christine Stobbe
- Hans Strate
- Dipl.-Ing. Michael Vohrer
- Ewald Waldner
- Prof. Dr. Claus Weyrich
- Dipl.-Ing. Peter Woitschach
- H. Bauer
- Bernhard Dichtl
- Clemens Dinges
- E. Dreher
- J. Drobek
- Volker Dülich
- Ernst Esslinger
- Detlef Frank
- Dr. Max Fuchs
- Volker Fürderer
- Monika Gonauser
- Prof. Dr. Rudolph Haggenmüller
- Veit Haslauer
- Jürgen K. Heinemann
- Dr. Rudolf Hettler
- Dipl.-Ing. Eduard Himmelsdorfer
- Dr. Joachim Holz
- Bernhard Huber
- Harald Ibl
- Bartholomäus Kellerer
- Christian Krawinkel
- Ulf Lange
- Dr. Luis Mandel
- Briktius Marek
- Dr. Mas
- Detlef Mehlmann
- Thomas Mehner
- Dr. Dimitrios Mihalios
- Peter Moritz
- Johannes Nierwetberg
- Beate Nothhelfer-Kolb
- Rudolph Obermeier
- Ernst Pohn
- H. Raffler
- Manfred Reitmeier
- Dr. Dieter Reng
- Günter Schneider
- Julia Schütt
- Dr.-Ing. Günther Schäffer
- Dr. Günther Seeser
- Michael Stal
- Stefan Sterr
- Dr.-Ing. Rainer Stetter
- Christine Stobbe
- Hans Strate
- Dipl.-Ing. Michael Vohrer
- Ewald Waldner
- Prof. Dr. Claus Weyrich
- Dipl.-Ing. Peter Woitschach
Partner im Verbund
Wissenschaftliche Partner
- Bayerisches Staatsministerium für Untericht, Kultus, Wissenschaft und Kunst
- Bayerisches Staatsministerium für Wirtschaft, Verkehr und Technologie
- FORKAT
- LMU München
- TU München
- Institut für Werkzeugmaschinen und Betriebswissenschaften
- Institut für Werkzeugmaschinen und Betriebswissenschaften
- Lehrstuhl für Betriebswirtschaftslehre mit Schwerpunkt Logistik
- Lehrstuhl für Betriebswirtschaftslehre mit Schwerpunkt Logistik
- Lehrstuhl für Kommunikationsnetze - Institut für Informationstechnik
- Lehrstuhl für Praktische Softwaretechnik
- Lehrstuhl für Programmiermethodik und Verteilte Systeme
- Lehrstuhl für Prozeßrechner
- Universität Erlangen
Partner aus der Industrie
- ABF Industrielle Auromation Deutschland GmbH
- ABF Industrielle Automation - Deutschland GmbH
- ADICOM Informatik GmbH
- ADICOM Informatik Mannheim GmbH ADICOM Informatik Mannheim GmbH
- BMW AG (FI-4)
- BMW AG (Forschungs- und Ingenieurzentrum FIZ - EG-K)
- BMW AG (Wissenschaft und Forschung)
- BSI GmbH BSI GmbH
- C. Behrens AG
- C. Behrens AG (i.K.)
- consultens Informationstechnik GmbH consultens Informationstechnik GmbH
- FAST e.V. FAST e.V.
- GILDEMEISTER Drehmaschinen GmbH GILDEMEISTER Drehmaschinen GmbH
- Homag Maschinenbau AG Homag Maschinenbau AG
- IWIS-Ketten GmbH
- PRO DV SOFTWARE GmbH PRO DV SOFTWARE GmbH
- Rohde & Schwarz GmbH & Co. KG
- Rohde&Schwarz GmbH & Co.KG
- SBS GmbH (IS 67)
- Siemens AG (A&D (AS 4))
- Siemens AG (Nixdorf Informationssysteme)
- Siemens AG (Nixdorf Informationssysteme AG)
- Siemens AG (ZT KM 2)
- Softing GmbH Softing GmbH
- Software Factory GmbH Software Factory GmbH
- Traub Drehmaschinen GmbH
Arbeitsfelder
-
FORSOFT II
mehr -
Projektbereich A : Softwaretechnik und die Methodik der Softwareentwicklung
mehr -
Projektbereich B : Management der Softwareentwicklung
mehr -
Projektbereich C : Softwaretechnik für Realzeit- und Kommunikationssysteme
mehr -
Projektbereich D : Anwendungen im Maschinenbau mit Schwerpunkt Produktionstechnik
mehr -
Projektbereich Z : Grundlagen der Softwareentwicklung
mehr
Projekte
- CHANGESYS Wandlungsfähige Systeme zur Unterstützung der Auftragsabwicklung
- FORSOFT II
- Projektbereich A : Softwaretechnik und die Methodik der Softwareentwicklung
- Projektbereich B : Management der Softwareentwicklung
- Projektbereich C : Softwaretechnik für Realzeit- und Kommunikationssysteme
- Projektbereich D : Anwendungen im Maschinenbau mit Schwerpunkt Produktionstechnik
Aktuelles
Veröffentlichungen
-
A Componentenware Development Methodology based on Process Patterns
K. Bergner, A. Rausch, M. Sihling, A. Vilbig
mehr -
A Critical Look upon UML
K. Bergner, A. Rausch, M. Sihling Martin Schader, Axel Korthaus (Hrsg.), The Unified Modeling Language - Technical Aspects and Applications, Physica-Verlag, A. Springer-Verlag
mehr -
A Formal Approach to Object-Oriented Software Engineering
M. Wirsing, A. Knapp
mehr -
A Formally Founded Description Technique Processes
V. Thurner in B. Krämer, N. Uchihira, P. Croll and S. Russo (editors): PDSE`98: International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 254-261, IEEE Computer Society, Los Alamitos, California
mehr -
A Refinement Calculus for Statecharts
P. Scholz First International Conference on Fundamental Approaches to Software Engineering (FASE`98), Lisbon, Portugal, March 30 - April 03 1998, LNCS 1382, pp. 285-301
mehr -
An Introduction to MOOD2 -- Specification and Design of a Live Scoring System for the Compaq Grand Slam Cup 1997
C. Maier, L. Mandel München, Institut der Informatik der Ludwig-Maximillians-Universität. 1997
mehr -
Casting en Abstract Design into the Framework of Java RMI
K. Bergner, A. Rausch, M. Sihling Ergebnisband der SE:E6P`98, Otago, Neuseeland, IEEE Press
mehr -
COBRA-Objektdatenbanken in Java- Drei-Schicten-Architekturen leicht gemacht
K. Bergner, A. Rausch, K. Kuhla
mehr -
Component Event Diagrams: a Hierarchical Dynamic Technique to Model Distributed Systems
C. Maier München, Institut für Informatik der Ludwig-Maximillians-Universität, 1997
mehr -
Component-Oriented Redesign of the CASE Tool AutoFocus
K. Bergner, F. Huber, A. Rausch, M. Sihling TUM-Report I-9752
mehr -
Componentware - The Big Picture
K. Bergner, A. Rausch, M. Sihling
mehr -
Description Technique for Distributed Hypermedia
H. Baumeister, C. Maier München, Institut für Informatik der Ludwig-Maximillians-Universität, 1998
mehr -
Dienstarchitekturen in der telekommunikation: Evolution, Methoden, Vergleich
Kellerer W. Technischer Bericht TUM -TR-LKN-9801, Technische Universität München
mehr -
Einsatz von PPS- und Fertigungsleitsystemen gezielt vorbereiten - Planspiel mit großer Realitätsnähe
D. Ansorge, A. Hirschberg, C. Selke Schweizer Maschinenmarkt, 11/98
mehr -
Enhancing Efficiency and Transparency of Manufacting System Planning through Comprehensive und Integrated Tool Support
G. Billing, M. Mauderer
mehr -
Entwicklung einer Dienstarchitektur mit TIMe - Vorstudie
U. Hinkel Bericht FORSOFT Teilprojekt C2, Technische Universität München, September 1998
mehr -
Entwicklung eines intranet-basierten Systems zur Unterstützung von Vertriebsprozessen
C. van der Leeden
mehr -
Experiences with Java RMI
K. Bergner, A. Rausch
mehr -
Experiences with Java RMI
K. Bergner
mehr -
Extending UML to Model Hypermedia and Distributed Systems
L. Mandel, N. Koch, C. Maier München, Institut für Informatik der ludwig-Maximillians-Universität, 1998
mehr -
Faltblatt zu FORSOFT
H. Ehler
mehr -
Formale Entwicklung verteilter reaktiver Systeme mit Focus
M. Breitling, U. Hinkel, K. Spies 8. Gi/ITG-Fachgespräch "Formale Beschreibungstechniken für Verteilte Systeme", Hrsg.: Hartmur König, Peter Langendörfer, Shaker Verlag, cottbus
mehr -
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
U. Hinkel Dissertation, Technische Universität München, 1998
mehr -
Formalizing and executing Message Sequence Charts via Timed Rewriting
P. Kosiuczenko, M. Wirsing
mehr -
Formally Founded Description Technique for Business Processes
V. Thurner TUM-Report I9753
mehr -
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in FOCUS
U. Hinkel Technischer Bericht TUM-I9808, Technische Universität München
mehr -
Innovation durch Kooperation im Software-Engineering
M. Broy, H. Ehler, B. Paech, V. Thurner M. Jarke, K. Pasebach and K. Pohl: Informatik`97: Jahrestagung der Gesellschaft für Informatik, pp. 503-504, Reihe Informatik Aktuell, Springer Verlag
mehr -
Jahresbericht 1998/99
forsoft
mehr -
Jahresbericht1997/98
forsoft
mehr -
Methoden zur Reduzierung der Software-Komlpexität großer Kommunikationssysteme - ein Überblick
U. Hinkel, W. Kellerer Bericht FORSOFT Teilprojekt C2, Technische universität München, Oktober 1997
mehr -
Multimedia Service Architectures - An Overview
W. Kellerer, B. Quendt
mehr -
Multimediale Anwendungen in der telekommunikatio - Szenarien und Abläufe
U. Hinkel, W. kellerer, P. Sties Technischer bericht TUM-LKN-TR-9702, Technische Universität München
mehr -
Object-Oriented Development of Distributed Systems -- a Survey
C. Maier, L. Mandel München, Institut für Informatik der Ludwig-Maximillians-Universität, 1997
mehr -
On the Expressive Power of the Object Constraint Language (OCL)
L. Mandel, M. Cengarle München, Institut für informatik der Ludwig-Maximillians-Universität, 1998
mehr -
On the Role of Activity Diagrams in UML
B. Paech
mehr -
Plädoyer für ein einheitliches Grundgerüst bei der System- und Softwaremodellierung
B. Paech Modellierung `98, Bericht 6/ 98 - I, Institut für Angewandte Mathematik und Informatik, Universität Münster, pp. 9-15
mehr -
Rauchende Köpfe - Bericht über die teilnahme am International ACM Student Programming Contest
K. Bergner, P. Breitling, A. Hall, T. Schickinger TU-Mitteilungen 4-97/98
mehr -
Refinement using µ-Charts - The Compaq Grand Slam Cup Case Study Revisited
C. Maier, P. Scholz München, Institut für Informatik der Ludwig-Maximillians-Universität, 1998
mehr -
Refining Business Processes
B. Rumpe, V. Thurner H. Kilov, B. Rumpe and I. Simmonds (editors) : 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, pp. 205-220, Technical University of Munich, TUM-I9820
mehr -
Requirements Engineering for complex COTS
B. Deifel
mehr -
Schnelle Schichten - Transparenter Zugriff auf ODBMS über COBRA
K. Bergner, A. Rausch, K. Kuhla iX 11/98
mehr -
SDL based protocol engineering and visualization for education: ISDN Q.931case study
W. Kellerer, A. Autenrieth, A. Iselt
mehr -
SDL based prototyping of ISDN-DECT-PBX switching software
H.-J. Vögel, W. Kellerer, S. Karg, M. Kober, A. Becker, G. Einfalt
mehr -
SDL-basiertes Rapid Prototyping für Kommunikationssysteme
W. Kellerer
mehr -
Software für die Produktion: Anforderungen an Struktur und Funktionalität- heute und morgen
G. Reinhart, D. Ansorge, M. Mauderer, A. Sabbah VDI-Z 40 (1998) Nr. 7/8 - Juli/August, S.42-45
mehr -
Software- Engineering im Bereich der Produktiontechnik
D. Ansorge, P. Breitling, A. Hall, T.Schickinger zeitung für wissenschaftlichen Fabrikbetrieb 6/98
mehr -
Störungstolerante Steuerungen
A. Sabbah In: Reinhart G. , Milberg: Wettbewerbsfaktor Verfügbarkeit - Produktivittsteigerung durch technische und oganisatorische Ansätze, München. München: herbert Utz Verlag 1998, Seite 44-61. Seminarbericht 37. ISBN 3-931327-37-X
mehr -
Teach & Learn @ Internet
M. Wirsing, R. Haggenmüller, M. Cengarle, N. Koch, M.Berger
mehr -
The Four Levels of Use Case Description
B. Paech
mehr -
Theoretische praktische Ansätze im Requirements Engineering für Standardsoftware und Anlagebau
B. Deifel TUM-Report I-9832
mehr -
Tool-Supported Specification and Simulation of Distributed Systems
F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, O. Slotosch Ergebnisband der ICSE98, Tokyo
mehr -
Towards A Methdology For Adaptive Hpermedia Systems Development
N. Koch
mehr -
Towards an Integration of a Graphical and formal Specification Method
P. Kosiuczenko, M. Wirsing Journal of Integrated design & Process Science
mehr -
UML-Konzepte, Technik, Methodik
R. Breu, M. Sihling
mehr -
Using UML for Modeling a Distributed Java Application
K. Bergner, A. Rausch, M. Sihling TUM-Report I-9735
mehr -
Using UMLfor Modeling a Distributed Java Application
M. Sihling
mehr -
Verification of SDL Specifications on the Basis of Stream Semabtics
U. Hinkel In: The 1st Workshop of the SDL Forum Society on SDL and WSC -- SAM`98, Informatik Bericht der Humboldt Universtät zu Berlin
mehr -
Werkzeug zur Störungstoleranten Steuerung von Abläufen
G. Reinhart, A. Sabbah ZWF 97 (1997) 9, S. 440-442
mehr -
YAON -- a Static Diagram Technique for Object Oriented Distributed Systems
C. Maier, L.Mandel München, institut für Informatik der Ludwig-Maximillians-Universität, 1997
mehr
Kontakt
Dr. Herbert Ehler
TU München
Lehrstuhl für Programmiermethodik und Verteilte Systeme
Arcisstr. 21
80290 München
Telefon: +49-89-289-28194
Email: <link>ehler@in.tum.de