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
 
                    
                 
                 
                    
                 
                    
                 
     
                        

 
 

 
                            
                    