Wer Umweltpolitik betreibt, benotigt schnell umfassende und klare Information: Umwelt information ermoglicht Umweltvorsorge. Da solche Information nQr mit Computerhilfe verfUgbar gemacht werden kann, arbeitet das Land Baden-Wurttemberg derzeit intensiv am Autbau eines Umweltinformationssystems (UIS), bei dem in vielen Bereichen Neuland betreten wird. Zahlreiche fUr das UlS erforderliche Softwarekomponenten sind am Markt nicht erhaltlich und mussen in enger Kooperation zwischen Land, Herstellem und Forschungseinrichtungen entwickelt werden. Die Umweltinformatik ist ein neues Anwendungsgebiet...
Wer Umweltpolitik betreibt, benotigt schnell umfassende und klare Information: Umwelt information ermoglicht Umweltvorsorge. Da solche Information nQr...
Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen...
Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. ob...
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle...
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives ...
Das vorliegende Buch behandelt die Entwicklung eines Infor- mationssystems f}r die Organisation komplex strukturierter Software-Systeme, die in einer Gruppe entwickelt werden. Das Ziel dieses Informationssystems ist die integrierte Verwal- tung der w{hrend der Software-Entwicklung anfallenden Infor- mation. F}r die Modellierung sind nicht nur Programme und Dateienrelevant, sondern es sind auch Entw}rfe, Entwick- lungsaktivit{ten, Projektpl{ne, Verantwortlichkeiten oder Nachrichten }ber Aufgabenzuteilungeneinzubeziehen. Angefan- gen mit einer Diskussion bestehender Ans{tze werden im Ver- lauf...
Das vorliegende Buch behandelt die Entwicklung eines Infor- mationssystems f}r die Organisation komplex strukturierter Software-Systeme, die in einer ...
Der Band dokumentiert eine Ringvorlesung }ber das Thema "Selbstorganisation," zu der Vertreter sehr unterschiedlicher Disziplinen eingeladen waren, um }ber ihre Forschungen auf diesem Gebiet zu berichten. Der fachliche Bogen spannt sich von Biologie und Medizin }berPsychologie, Soziologie, konomie und Management bis zu Informatik, Systemtheorie und Philosophie und deckt damit ein breites Forschungsspektrumab. Auf diese Weise wurde es m-glich, die vielf{ltigen Facetten des fbergreifenden Begriffs "Selbstorganisation" darzustellen und trotz aller Unterschiede in Arbeits- und...
Der Band dokumentiert eine Ringvorlesung }ber das Thema "Selbstorganisation," zu der Vertreter sehr unterschiedlicher Disziplinen eingeladen waren, um...
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 Fachausschuss 4.3. "Requirements Engineering" des GI-Fachbereichs 4 "Informationstechnik und technische Nutzung der Informatik." 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...
Der Fachbericht Requirements Engineering '91 - Structured Analysis' und verwandte Ansatze enthalt alle Beitrage der gleichnamigen Tagun...
Das Buch Hypertext/Hypermedia '91 ist der Tagungsband des gleichnamigen Symposiums, das im Juni 1991 in Graz/Osterreich stattfand, und zwar als erste Veranstaltung im deutschsprachigen Europa, die von drei grossen Informatikorganisationen Deutschlands (GI), der Schweiz (SI) und Osterreichs getragen wurde. Der Band enthalt 27 Beitrage, die aus einer grossen Anzahl von eingereichten Arbeiten ausgewahlt wurden, und einen eingeladenen Vortrag von N. Magnenat-Thalmann zum Thema "Multi-Media, Virtuelle Realitaten und Computeranimation." Insgesamt zeigt das Buch den "State of the Art" im gesamten...
Das Buch Hypertext/Hypermedia '91 ist der Tagungsband des gleichnamigen Symposiums, das im Juni 1991 in Graz/Osterreich stattfand, und zwar als erste ...
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 -...
SUPERCOMPUTER '91 - Anwendungen, Architekturen, Trends enthalt alle Hauptvortrage des zum sechsten Mal veranstalteten Mannheimer Seminars. Das ...
Die Gestaltung von Informationssystemen, ihre Organisation und ihr Betrieb, werden angesichts komplexerer Anforderungen und heterogener Betriebsmittel immer problematischer. Viele Beitrage aus Wirtschaft und Hochschule belegen die erhebliche Bedeutung, die dieser Thematik zukommt, und das hohe Engagement zur Uberwindung der Probleme, die durch eine unkoordinierte und angebotsgesteuerte Entwicklung heute entstanden sind. Die wichtigsten Ansatze sowie erste Erfahrungen werden insbesondere in den Hauptbeitragen uber "Informationstechnik und Unternehmensstrategien im Wechselspiel," "Kommunikation...
Die Gestaltung von Informationssystemen, ihre Organisation und ihr Betrieb, werden angesichts komplexerer Anforderungen und heterogener Betriebsmittel...
Das Buch behandelt eine Problemstellung, die mit zunehmender Automatisierung der Fertigung (CIM) verscharft auftritt: die Sicherstellung von kollisionsfreien Bahnen fur Industrieroboter. Im Unterschied zur Hauptrichtung der Forschung, die aufwendige Algorithmen zur Wegsuche und Trajektorienplanung im off-line-Bereich entwickelt, werden hier Verfahren untersucht und Methoden vorgestellt, die es erlauben, online Kollisionsgefahren zu erkennen, hinsichtlich ihrer Starke zu bewerten und kollisionsfreie Bahnen zu generieren. Online wird dabei in dem Sinn verstanden, dass die Berechnungen im Takt...
Das Buch behandelt eine Problemstellung, die mit zunehmender Automatisierung der Fertigung (CIM) verscharft auftritt: die Sicherstellung von kollision...