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