Bücher der Reihe Informatik-Fachberichte

4. Fachtagung "e;Informatik und Schule"e;, veranstaltet vom Fachbereich 7 "e;Ausbildung und Beruf"e; der GI und der Carl von Ossietzky-Universitat Oldenburg

SUPERCOMPUTER '91 - Anwendungen, Architekturen, Trends enthalt alle Hauptvortrage des zum sechsten Mal veranstalteten Mannheimer Seminars. Das diesjahrige Seminar versammelte wiederum als die fuhrende Veranstaltung im deutschsprachigen Raum Supercomputer-Anwender, -Betreiber und -Hersteller zu einem fruchtbaren Dialog und Erfahrungsaustausch. Es wurden insbesondere die neuesten Entwicklungen dieses stark innovativen Gebiets unter einem sehr anwendungsbezogenen, praktischen Aspekt aufgearbeitet. Die Schwerpunkte des diesjahrigen Seminars waren: - Vektorrechner und ihre Zukunft - Erfahrungen mit Parallelrechnern - zukunftige Entwicklung des Markts fur Super- computing Neben den traditionellen Vektorrechnern standen Erfahrungsberichte uber den Einsatz der stark an Verbreitung gewinnenden Parallelrechner im Vordergrund. Hierbei wurde die ganze Bandbreite der existierenden Architekturen sowohl auf MIMD- als auch auf SIMD-Basis abgedeckt. Zur weiteren Orientierung auf diesem sehr heterogenen, sich schnell entwickelnden Markt trug die Podiumsdiskussion fuhrender Wissenschaftler und Firmenvertreter "e;Supercomputing 1995 and beyond"e; bei. Die zugehorigen Positionspapiere sind ebenfalls in diesem Band enthalten.

Der Fachbericht Requirements Engineering '91 - `Structured Analysis' und verwandte Ansatze enthalt alle Beitrage der gleichnamigen Tagung (10. bis 11. April 1991 in Marburg), veranstaltet vom Fachausschu 4.3. "e;Requirements Engineering"e; des GI-Fachbereichs 4 "e;Informationstechnik und technische Nutzung der Informatik"e;. Requirements Engineering wird intepretiert als Wissenschaft, die sich mit der Erfassung, Beschreibung und Uberprufung von Anforderungen an ein informationstechnisches System auseinandersetzt mit dem Ziel, methodische Konzepte fur diese Aufgaben zu erarbeiten und in anwendungstaugliche Verfahren umzusetzen. Durch die Ausrichtung auf `Structured Analysis' und verwandte Ansatze erfolgt eine kritische Auseinandersetzung mit Methoden und Verfahren, die in der Praxis mit Erolg eingesetzt werden, da sie einerseits die Kommunikation zwischen weniger DV-erfahrenen Anwendern und Systementwicklern unterstutzen und andererseits Ansatzmoglichkeiten zur Uberprufung der Korrektheit der spezifizierten Anforderungen bieten. Erfahrungsberichte uber den Einsatz von `Structured Analysis' und verwandte Ansatze sowie eine Diskussion ihrer Vor- und Nachteile sind daher zentraler Gegenstand dieses Fachberichts.

Dieser Band enthalt alle Hauptvortrage des funften Mannheimer Seminars uber Supercomputer. Das als fuhrende Veranstaltung zu dieser Thematik im deutschsprachigen Raum anerkannte Seminar versammelte wiederum Supercomputer-Anwender, -Betreiber und -Hersteller zu einem fruchtbaren Dialog und Erfahrungsaustausch. Es wurden insbesondere die neuesten Entwicklungen dieses stark innovativen Gebiets unter anwendungsbezogenen, praktischen Aspekten aufgearbeitet. Die Schwerpunkte des diesjahrigen Seminars waren: - Anwendungen in Industrie und Wissenschaft - Parallelrechner-Architekturen - Supercomputer Management. Dabei standen bei den Architekturen besonders die auf dem MIMD-Prinzip basierenden lokalen Speichersysteme von SUPRENUM, Parsytec, iP-Systems in Intel Scientific Computers im Mittelpunkt des Interesses. In einem "e;Supercomputer Manager Round Table"e; wurden aktuelle Probleme bei Planung, Beschaffung und Einsatz dieser Gerate von ausgewahlten Experten diskutiert. Die zugehorigen Positionsbeitrage sind ebenfalls in diesem Band enthalten.

Dieser Tagungsband des vierten Symposiums "e;Informatik im Umweltschutz"e; (Karlsruhe, 6.-8. November 1989) behandelt den Einsatz von Informatikmethoden in allen Bereichen des Umweltschutzes: Luft, Klima, Wasser, Abfall, Altlasten, Boden, Naturraum, Raumplanung, Pflanzen, Wald, Tiere. Die Problematik wird sowohl praktisch anhand konkreter Projekte als auch methodisch anhand grundlegender Prinzipien und Verfahren dargestellt. Die Beitrage zeigen den derzeitigen Stand von Entwicklungen und Projekten und diskutieren anstehende Probleme und Losungen. Sie geben damit einen Uberblick uber die in diesem neuen Anwendungsgebiet gestellten Anforderungen an die Informatik und die zukunftig notwendigen methodischen Entwicklungen. Der Tagungsband wendet sich an alle Wissenschaftler, Ingenieure aus Forschung, Industrie und Behorden, die mit Umweltschutz befat sind.

Dieser Band enthalt die Unterrichtsmaterialien zur KIFS-89, der siebten in der Reihe von Fruhjahrsschulen uber Kunstliche Intelligenz, die seit 1982 von dem Fachausschu 1.2. der Gesellschaft fur Informatik (GI) veranstaltet werden. Diese Fruhjahrsschulen bieten sowohl Einfuhrungen in reprasentative Teilbereiche der Kunstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten an. Der vorliegende Sammelband ist dementsprechend als Lehrbuch konzipiert und daher sowohl fur Interessierte geeignet, die sich einen ersten Uberblick uber relevante Forschungsgebiete der Kunstlichen Intelligenz verschaffen wollen, als auch fur diejenigen, die ihre Vorkenntnisse in diesem Bereich in einzelnen Gebieten vertiefen wollen.

Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anlalich einer Abschlutagung mit umfassender Prasentation aller Projektergebnisse. Neben einer Einfuhrung in das Gesamtprojekt werden ausgewahlte Projekte detailliert vorgestellt. Ziel des Bandes ist es, von einem gelungenen Versuch zu berichten, in einer Hochschule durch den breiten Einsatz von Arbeitsplatzrechnern in allen Wissenschaftsbereichen die Arbeitsbedingungen in groem Umfang zu verbessern. Von zusatzlichem Interesse ist die Tatsache, da einige der vorgestellten Entwicklungen unter gewissen Voraussetzungen Interessenten zur Verfugung gestellt werden konnen.

Dieser Band enthalt die Beitrage zur AUSTROGRAPHICS '88, einer in zweijahrigem Turnus durchgefuhrten deutschsprachigen Tagung uber Graphische Datenverarbeitung. Die Tagung fand vom 28. bis 30. September 1988 an der Technischen Universitat Wien statt. Mit Rucksicht auf das in der gleichen Woche ebenfalls in Wien veranstaltete GI-Fachgesprach zum Thema Visualisierungstechniken und Algorithmen (Informatik-Fachberichte Band 182) liegen die Akzente der AUSTROGRAPHICS '88 diesmal auf anderen Gebieten. Nach einem Kapitel uber neue Algorithmen der Graphischen Datenverarbeitung folgen Beitrage zu den Themenkreisen Graphische Benutzerschnittstellen, Kartographie, Hardware und Netze. Einen regelrechten Schwerpunkt bilden die Kapitel Freiformflachen und Geometrische Algorithmen.

Der Band enthalt die Beitrage zum 5. Symposium Simulationstechnik, das im September 1988 an der RWTH Aachen stattfand. Die Vortrage reflektieren den State-of-the-Art der Simulationstechnik in allen Anwendungsbereichen. Das Ziel dieser von ASIM veranstalteten Reihe von Symposien ist es, den Austausch von Ideen und Erfahrungen von Fachleuten und Interessenten zu fordern, die auf dem Gebiet der Modellbildung und Simulation in Theorie und Praxis tatig sind. Dieses Tagungsziel wird vor dem Hintergrund der zunehmend breiten Bedeutung, die der Simulation als modernem Entwicklungs- und Analysehilfsmittel zukommt, immer wichtiger. Neue Hard- und Softwarekonzepte ermoglichen die Entwicklung hochkomplexer Systeme. Das vielfaltige Zusammenwirken der Systemkomponenten zu untersuchen und zu bewerten, ist ohne den Einsatz leistungsfahiger Simulationswerkzeuge undenkbar. Dies erfordert konsequenterweise auch Weiterentwicklungen auf dem Gebiet der Simulationstechnik und der ihr jeweils zugrunde liegenden Methodik. Der Erfahrungsaustausch im Rahmen einer solchen Tagung bietet allen Teilnehmern in gleicher Weise Vorteile: Einerseits erlangen Praktiker fruhzeitig Kenntnis von neuen Konzepten und Werkzeugen, und andererseits konnen Theoretiker fruhzeitig die vielfaltigen in der Praxis auftretenden Probleme bei der Entwicklung neuer Methoden bewerten und berucksichtigen. Der Band ist thematisch gegliedert in die drei Teile Modellbildung und Simulationstechnik, Simulationswerkzeuge sowie Anwendungen.

Das Buch enthalt die Beitrage des Workshops "e;Wissensreprasentation in Expertensystemen"e;, der vom 16. bis 18.3.1987 von der IBM Deutschland GmbH in Herrenberg durchgefuhrt wurde. Wissensreprasentation ist fur viele Anwendungen der Kunstlichen Intelligenz von zentraler Bedeutung. Bei der Umsetzung von Ergebnissen der Forschung in Anwendungen wird die Wissensreprasentation wegen ihrer Verankerung in so verschiedenen Gebieten wie Logik, Linguistik und Psychologie unubersichtlich. Es gibt keine einheitliche Systematisierung. Hinzu kommt, da die Probleme der Wissensreprasentation erst an groeren Anwendungen in ihrer vollen Tragweite erkennbar werden. In dem Workshop wurde daher versucht, das Thema interdisziplinar und systematisch zu behandeln. Dabei ging es weniger um die Darstellung von Projekten, bei denen die Wissensreprasentation meistens nur peripher und unter spezifischen Projektaspekten diskutiert wird, sondern um eine gezielte Thematisierung der zentralen Fragestellungen in aufeinander abgestimmten Abschnitten: Orientierung und Grundlagen, Sprachen und Methoden der Wissensreprasentation, Spezifische Teilprobleme (Raum- und Zeitaspekte), Wissenserwerb und Wissensverarbeitung. Das Buch stellt in konzentrierter Form Beitrage von herausragenden Forschern auf diesem Gebiet zusammen.

Dies ist der Tagungsband zu dem Fachgesprach "e;Non-Standard Datenbanken fur Anwendungen der Graphischen Datenverarbeitung"e;, das am 21. und 22. Marz 1988 in Dortmund vom Fachausschu 4.1 der Gesellschaft fur Informatik veranstaltet wurde. Viele der Anforderungen an moderne Graphiksysteme erfordern Datenstrukturen, die sich aufgrund ihrer Komplexitat und der Leistungsanforderungen kaum noch effizient auf klassische Datenbanksysteme abbilden lassen. Die intensiven Forschungsarbeiten fur diesen Anwendungsbereich gewinnen zunehmend an Bedeutung fur die Anwender und Entwickler graphischer Systeme. Ziel des Fachgespraches war es insbesondere, den Erfahrungsaustausch zwischen der Forschung und den Anwendern neuer Datenbanktechnologien zu fordern und uber den Entwicklungsstand zu berichten.

Das Buch enthalt Beitrage zu einer interdisziplinaren Tagung zur Cognitive Science. Im Vordergrund steht die Reprasentationsproblematik bei der Anwendung von Methoden der Informationsverarbeitung auf die kognitive Modellierung und umgekehrt. Das Prinzip informationsverarbeitender Systeme wird vom Standpunkt der Philosophie, Linguistik, Psychologie und Informatik beleuchtet und mit den jeweils unterschiedlichen Methoden der genannten Wissenschaften vorgestellt. Die Beitrage sind nach der Tagung substantiell uberarbeitet worden, wobei sich die Autoren um eine gemeinsame Terminologie und das Verstandnis fur die fachspezifischen Probleme der jeweils anderen Wissenschaften bemuht haben. Das Buch gliedert sich in vier thematische Bereiche, die von den Herausgebern ausfuhrlich eingeleitet werden: Philosophische Aspekte der Reprasentationsproblematik, Reprasentation sprachlichen Wissens, psychologische Aspekte der Reprasentationsproblematik, KI-Aspekte der Reprasentationsproblematik. Das Buch dokumentiert somit den aktuellen Forschungsstand der kognitionswissenschaftlichen Forschung in der BRD. Gegenuber fachspezifischen Veroffentlichungen zeichnet es sich durch seine breite Perspektive aus, durch die es an Lesbarkeit fur alle an der Cognitive Science Interessierten gewinnt und einen Beitrag zur gegenseitigen Horizonterweiterung leistet.

Die deutsche Fruhjahrsschule fur Kunstliche Intelligenz, jahrlich veranstaltet von der Fachgruppe 1.2 "e;Kunstliche Intelligenz und Mustererkennung"e; der Gesellschaft fur Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruhjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergroert die thematische Vielfalt des bereits Verfugbaren um neuartige Einfuhrungen in LISP und PROLOG, sowie ausfuhrliche Beitrage uber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer- sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.

Die 12. Jahrestagung der Gesellschaft fur Informatik an der Univer- sitat Kaiserslautern steht unter dem thematischen Schwerpunkt nSYSTEMS ENGINEERING"e; in der Informatik. Unter dem Druck einer sehr geringen Zahl einge- reichter Beitrage sind wir von dem Konzept der Vorjahre abgeruckt, die Tagung uberwiegend aus eingereichten Beitragen zu bestreiten. Der zweite Tag hat durch die eingeladenen tfbersichtsvortrage einen vor- wiegend tutorialen Charakter und soll der Jahrestagung gegenuber den vielen Fachtagungen eine eigenstandige Attraktivitat verleihen. Die in tfbersichtsvortragen behandelten Themen sollen den hier anwesenden Fachleuten Gelegenheit bieten, sich bequem uber auerhalb des eigenen Arbeitsgebiets sich abzeichnende neue Entwicklungen zu informieren. Dem Programmkomitee, den Programmausschussen der Fachgesprache sowie dem Organisationskomitee am Tagungsort sei an dieser Stelle fur ihren Beitrag zum Gelingen der Tagung herzlich gedankt. Kaiserslautern, Juli 1982 Jurgen Nehmer FOLGENDE FIRMEN HABEN DIE VORBEREITUNG UND AUSRICHTUNG DER TAGUNG FINANZIELL UNTERSTUTZT: SIEMENS AG IBM DEUTSCHLAND GMBH BASF AG BROWN, BOVERI & CIE. AG TELEFONBAU & NORMALZEIT GMBH GEBR. KITTELBERGER GMBH & CO.