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
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
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
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
-
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
-
A Formal Approach to Object-Oriented Software Engineering
M. Wirsing, A. Knapp
-
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
-
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
-
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
-
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
-
COBRA-Objektdatenbanken in Java- Drei-Schicten-Architekturen leicht gemacht
K. Bergner, A. Rausch, K. Kuhla
-
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
-
Component-Oriented Redesign of the CASE Tool AutoFocus
K. Bergner, F. Huber, A. Rausch, M. Sihling TUM-Report I-9752
-
Componentware - The Big Picture
K. Bergner, A. Rausch, M. Sihling
-
Description Technique for Distributed Hypermedia
H. Baumeister, C. Maier München, Institut für Informatik der Ludwig-Maximillians-Universität, 1998
-
Dienstarchitekturen in der telekommunikation: Evolution, Methoden, Vergleich
Kellerer W. Technischer Bericht TUM -TR-LKN-9801, Technische Universität München
-
Einsatz von PPS- und Fertigungsleitsystemen gezielt vorbereiten - Planspiel mit großer Realitätsnähe
D. Ansorge, A. Hirschberg, C. Selke Schweizer Maschinenmarkt, 11/98
-
Enhancing Efficiency and Transparency of Manufacting System Planning through Comprehensive und Integrated Tool Support
G. Billing, M. Mauderer
-
Entwicklung einer Dienstarchitektur mit TIMe - Vorstudie
U. Hinkel Bericht FORSOFT Teilprojekt C2, Technische Universität München, September 1998
-
Entwicklung eines intranet-basierten Systems zur Unterstützung von Vertriebsprozessen
C. van der Leeden
-
Experiences with Java RMI
K. Bergner, A. Rausch
-
Experiences with Java RMI
K. Bergner
-
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
-
Faltblatt zu FORSOFT
H. Ehler
-
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
-
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
U. Hinkel Dissertation, Technische Universität München, 1998
-
Formalizing and executing Message Sequence Charts via Timed Rewriting
P. Kosiuczenko, M. Wirsing
-
Formally Founded Description Technique for Business Processes
V. Thurner TUM-Report I9753
-
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in FOCUS
U. Hinkel Technischer Bericht TUM-I9808, Technische Universität München
-
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
-
Jahresbericht 1998/99
forsoft
-
Jahresbericht1997/98
forsoft
-
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
-
Multimedia Service Architectures - An Overview
W. Kellerer, B. Quendt
-
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
-
Object-Oriented Development of Distributed Systems -- a Survey
C. Maier, L. Mandel München, Institut für Informatik der Ludwig-Maximillians-Universität, 1997
-
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
-
On the Role of Activity Diagrams in UML
B. Paech
-
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
-
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
-
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
-
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
-
Requirements Engineering for complex COTS
B. Deifel
-
Schnelle Schichten - Transparenter Zugriff auf ODBMS über COBRA
K. Bergner, A. Rausch, K. Kuhla iX 11/98
-
SDL based protocol engineering and visualization for education: ISDN Q.931case study
W. Kellerer, A. Autenrieth, A. Iselt
-
SDL based prototyping of ISDN-DECT-PBX switching software
H.-J. Vögel, W. Kellerer, S. Karg, M. Kober, A. Becker, G. Einfalt
-
SDL-basiertes Rapid Prototyping für Kommunikationssysteme
W. Kellerer
-
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
-
Software- Engineering im Bereich der Produktiontechnik
D. Ansorge, P. Breitling, A. Hall, T.Schickinger zeitung für wissenschaftlichen Fabrikbetrieb 6/98
-
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
-
Teach & Learn @ Internet
M. Wirsing, R. Haggenmüller, M. Cengarle, N. Koch, M.Berger
-
The Four Levels of Use Case Description
B. Paech
-
Theoretische praktische Ansätze im Requirements Engineering für Standardsoftware und Anlagebau
B. Deifel TUM-Report I-9832
-
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
-
Towards A Methdology For Adaptive Hpermedia Systems Development
N. Koch
-
Towards an Integration of a Graphical and formal Specification Method
P. Kosiuczenko, M. Wirsing Journal of Integrated design & Process Science
-
UML-Konzepte, Technik, Methodik
R. Breu, M. Sihling
-
Using UML for Modeling a Distributed Java Application
K. Bergner, A. Rausch, M. Sihling TUM-Report I-9735
-
Using UMLfor Modeling a Distributed Java Application
M. Sihling
-
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
-
Werkzeug zur Störungstoleranten Steuerung von Abläufen
G. Reinhart, A. Sabbah ZWF 97 (1997) 9, S. 440-442
-
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
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