Autofocus Homepage

Munich University of Technology, Department of Computer Science

THE AUTOFOCUS HOMEPAGE

Support for AutoFocus/Quest is now available from Validas Model Validation AG

AutoFocus/Quest wins First Prize in the tool competition at Formal Methods '99. For details please visit our web pages of the Quest Project.

From this page you have access to all information available about the AutoFocus tool, a CASE tool for the development of distributed systems, which is currently being developed at the Chair of Prof. Broy (Faculty of Computer Science of TU München).

Please note that currently some documents referenced from this page are available in German only.

WHAT'S AUTOFOCUS?
An introduction to the AutoFocus tool. Available in english

ORIGIN of AutoFocus in the "Softwaretechnikpraktikum" (STP) 1996
AutoFocus is based on a practical course in software engineering in summer 1996 and was launched by a team of students under advice of a team coordinator. Here you find webpages related to the course.

RESULTS of the course
A selection of results of the STP'96 that may be of general interest is published here for quick access.

SIMCENTER
A rapid prototyping and simulation environment for AutoFocus, implemented during the Softwaretechnik-Praktikum 1997.

ONLINE SIMULATION
An animated simulation running on the AutoFocus-Server waiting for interaction (Provided by Validas in 2001)

MODELLINGTUTORIAL
A practical introduction into modelling with AutoFocus (Provided by the project Nelli in 2002)

PUBLICATIONS about AutoFocus
A list of all publications about AutoFocus that have appeared up to now.

THE PROJECT-TEAM
Here you can find a list of the people behind AutoFocus.

DOWNLOAD
Here you can become a registered AutoFocus-User and you can download AutoFocus 0.9.3.

INFORMATION MAILINGARCHIV
Useful informations for AutoFocus-Users are collected here.

INTERNALS
Internal information accessible only for authorized users.

CONTACTS
Please direct questions to autofocus@mailbroy.informatik.tu-muenchen.de
or by mail to
AutoFOCUS, Lehrstuhl Prof. Broy,
Fakultät für Informatik, Technische Universität München,
Boltzmannstr. 3
D-85748 Garching bei München.

Franz Huber, 1996-11-05, 1999-09-28
Florian Erhard, 1996-10-11, 1996-10-11
Peter Braun, 2001-03-30, 2002-10-29

	Support for AutoFocus/Quest is now available from Validas Model Validation AG
	AutoFocus/Quest wins First Prize in the tool competition at Formal Methods '99. For details please visit our web pages of the Quest Project.

	WHAT'S AUTOFOCUS? An introduction to the AutoFocus tool. Available in english
	ORIGIN of AutoFocus in the "Softwaretechnikpraktikum" (STP) 1996 AutoFocus is based on a practical course in software engineering in summer 1996 and was launched by a team of students under advice of a team coordinator. Here you find webpages related to the course.
	RESULTS of the course A selection of results of the STP'96 that may be of general interest is published here for quick access.
	SIMCENTER A rapid prototyping and simulation environment for AutoFocus, implemented during the Softwaretechnik-Praktikum 1997.
	ONLINE SIMULATION An animated simulation running on the AutoFocus-Server waiting for interaction (Provided by Validas in 2001)
	MODELLINGTUTORIAL A practical introduction into modelling with AutoFocus (Provided by the project Nelli in 2002)
	PUBLICATIONS about AutoFocus A list of all publications about AutoFocus that have appeared up to now.
	THE PROJECT-TEAM Here you can find a list of the people behind AutoFocus.
	DOWNLOAD Here you can become a registered AutoFocus-User and you can download AutoFocus 0.9.3.
	INFORMATION MAILINGARCHIV Useful informations for AutoFocus-Users are collected here.
	INTERNALS Internal information accessible only for authorized users.
	CONTACTS Please direct questions to autofocus@mailbroy.informatik.tu-muenchen.de or by mail to AutoFOCUS, Lehrstuhl Prof. Broy, Fakultät für Informatik, Technische Universität München, Boltzmannstr. 3 D-85748 Garching bei München.