FORSOFT
BAVARIAN RESEARCH ASSOCIATION SOFTWARE ENGINEERING
The association
Efficient and expert software has become a factor for success in industry as well as society itself. For this reason measurable control over and a continual design of software engineering are advisable. With this in mind FORSOFT II has been concentrated on the core competencies of software technology in prominent working fields from the perspective of business concerns. The following principles are central to the project:
- Continual design of the software development process and methodology
- The adaptability of software systems based on long-lived architectures.
- Software in nets and inter operability.
These themes are reflected in the research associations individual projects. There the central questions about software engineering are worked on with closer contact to industrial enterprises. From this work comes the fundamental results from FORSOFT. Coordinated with the goals further scientific results are compiled and a suitable solution worked out. These insights stemming from the tasks of the individual projects are then combined and processed scientifically.
Organisation
Spokesperson
Second Spokesperson
General Management
Managing-committee
Head of Research Division
- 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
Scientists
- 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
Scientific 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 of the industry
- 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
- 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
Fields of work
Projects
- CHANGESYS Adaptable systems to support order processing
- FORSOFT II
- Project Area A Software-Techniques and Mathods for Software-Development
- Project Area B Management of Software-Development
- Projekt Area C SW-Technik für Realzet- und Kommunikationssysteme
- Project Area D Anwendung im Maschinenbau - Produktionstechnik
News
Publications
-
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
Contact
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