The same page in English language.

	Support zu AutoFocus/Quest bietet die Validas Model Validation AG
	AutoFocus/Quest gewinnen Tool Competition auf der Formal Methods '99. Details hierzu finden Sie auf den Quest-Projektseiten.

Von hier aus finden Sie Einstiegsmöglichkeiten zu allem Wissenswerten über das Systementwicklungswerkzeug (CASE tool) AutoFocus, das am Lehrstuhl Prof. Broy (Fakultät für Informatik der TU München) entwickelt wird.

	WAS IST AUTOFOCUS? Eine einführende Beschreibung des Werkzeugs AutoFocus. Hier finden Sie eine allgemeine Einführung in AutoFocus.
	DER URSPRUNG im Softwaretechnikpraktikum (STP) 1996 AutoFocus enstand als Thema des STP am Lehrstuhl Prof. Broy im Sommersemester 1996 und wurde von einem Team von Studierenden auf den Weg gebracht. Hier finden Sie die Web-Seiten zum Praktikum.
	DIE ERGEBNISSE des Praktikums Eine Auswahl von Resultaten des Praktikums, wie sie auch auf den Praktikumswebseiten zu finden sind, auf einen Blick.
	SIMCENTER Eine Rapid Prototyping- und Simulationsumgebung für AutoFocus, realisiert im Softwaretechnik-Praktikum 1997.
	ONLINE SIMULATION Eine animierte Simulation auf de mAutoFocus-Server, die auf Ihre Eingaben wartet (Erstellt von Validas 2001)
	MODELLIERUNGSTUTORIAL Eine praktische Einführung in die Modellierung mit AutoFocus (Erstellt vom Projekt Nelli 2001)
	PUBLIKATIONEN zu AutoFocus Eine Übersicht über die bisher zu AutoFocus erschienen Publikationen.
	DAS PROJEKTTEAM Hier finden Sie Organisatoren und Ausführende von Autofocus.
	DOWNLOAD Hier können Sie sich als AutoFocus-Nutzer registrieren lassen und AutoFocus 0.9.3 downloaden.
	ARCHIV WICHTIGER INFORMATIONEN Diverse wichtige Informationen für AutoFocus-Nutzer werden hier gesammelt.
	INTERNA Interne Informationen für Berechtigte.
	KONTAKT Fragen bitte an autofocus@mailbroy.informatik.tu-muenchen.de oder an AutoFOCUS, Lehrstuhl Prof. Broy, Fakultät für Informatik, Technische Universität München, Boltzmannstr. 3 D-85748 Garching bei München.