Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bew{ltigen zu k-nnen.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch besch{ftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterst}tzen lassen. Zur Spezifikation der Funktionalit{t entsprechender Werkzeuge wird eine neuartige formale...
Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonf...
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollstandigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstutzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die...
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen de...
Dieser Informatik-Fachbericht ist der Tagungsband der 6. ITG/GI-Fachtagung "Kommunikation in verteilten Systemen," Stuttgart, 22.-24.2.1989, in einer in zweijahrigem Turnus stattfindenden Tagungsreihe. Er enthalt 60 originare Beitrage aus den Gebieten Kommunikationsdienste und -protokolle, Standardisierung, Kommunikations- und Transaktionsmechanismen in verteilten Systemen, Last- und Funktionsverbund in heterogenen Rechnernetzen, Beschreibungs-, Entwicklungsmethoden und -werkzeuge, Technik lokaler Hochgeschwindigkeitsnetze, Mobilfunknetze, Breitband-Vermittlungstechnik auf ATM-Basis, Kopplung...
Dieser Informatik-Fachbericht ist der Tagungsband der 6. ITG/GI-Fachtagung "Kommunikation in verteilten Systemen," Stuttgart, 22.-24.2.1989, in einer ...
Ebenso wie seine Vorganger liefert auch das 8. GI-Fachgesprach ein getreues Spiegelbild der Probleme, die sich in den jeweiligen Zeitraumen in den Rechenzentren ergeben haben. Zum Zeitpunkt des 8. Fachgesprachs bestimmen Themenkreise wie dezentrale Datenverarbeitung, ihre Beherrschbarkeit und ihre Grenzen, aber auch der Ausblick auf neue Techniken und Entwicklungstendenzen, Sicherheitsaspekte und Hochgeschwindigkeitsnetze die Diskussion. Die zunehmende Betrachtung der Rechenzentren unter Kosten-Nutzen-Gesichtspunkten fuhrte zum Themenkreis "Kapazitatsplanung und -management." Traditionsgemass...
Ebenso wie seine Vorganger liefert auch das 8. GI-Fachgesprach ein getreues Spiegelbild der Probleme, die sich in den jeweiligen Zeitraumen in den Rec...
Seit 1986 trifft sich in Mannheim jahrlich auf Einladung des Vereins zur wissenschaftlichen Weiterbildung der Universitat Mannheim e.V. die deutschsprachige Supercomputergemeinde - Anwender, Betreiber, Hersteller - zu einem fruchtbaren Dialog und Erfahrungsaustausch. In dem diesjahrigen Seminar "Supercomputer - Anwendungen, Architekturen und Trends" werden die neuesten Entwicklungen dieses stark innovativen Gebiets unter einem sehr anwendungsbezogenen, praktischen Aspekt aufgearbeitet. Experten aus dem Inland sowie den nach wie vor fuhrenden Landern USA und Japan konnten auch bei dieser zum...
Seit 1986 trifft sich in Mannheim jahrlich auf Einladung des Vereins zur wissenschaftlichen Weiterbildung der Universitat Mannheim e.V. die deutschspr...
Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer Sprache verfasst. Insgesamt wird durch diese Beitrage die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. Samtliche Beitrage berichten uber neue Forschungs- oder Entwicklungsergebnisse."
Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen...
Dieses Buch enthalt die Beitrage der 5. GI/ITG-Fachtagung uber Messung, Modellierung und Bewertung von Rechensystemen und Netzen, die im September 1989 in Braunschweig veranstaltet wurde. Inhalt dieser wichtigsten deutschen Tagung auf diesem Gebiet war der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen und Netzen. Dabei wurde einerseits das volle methodische Spektrum - Messinstrumentierung/Messung - Modellbildung/simulative und mathematische Modellanalyse - Bewertung und Synthese in leistungsorientierter bzw. leistungs-/...
Dieses Buch enthalt die Beitrage der 5. GI/ITG-Fachtagung uber Messung, Modellierung und Bewertung von Rechensystemen und Netzen, die im September 198...
Software-Diversitat wird als eine Fehlertoleranzmassnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlassigkeitsanforderungen findet. Im ersten Teil des Buches werden die wichtigsten Beispiele angegeben, bei denen Experimente mit Software-Diversitat durchgefuhrt wurden bzw. bei denen Software-Diversitat eingesetzt wurde. Im zweiten Teil werden verschiedene Ansatze zur Modellierung der Software-Diversitat - Fehlermodell und Kostenmodell - eingefuhrt. Der Anhang enthalt eine z.T. kommentierte Bibliographie mit allen Literaturstellen zur Software-Diversitat. Damit wird das Thema in...
Software-Diversitat wird als eine Fehlertoleranzmassnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlassigkeitsanforderungen findet. Im e...
Verteilte Algorithmen sind Verfahren, die dadurch charakterisiert sind, dass mehrere autonome Prozesse gleichzeitig Teile eines gemeinsamen Problems in kooperativer Weise bearbeiten und der dabei erforderliche Informationsaustausch ausschliesslich uber Nachrichten erfolgt. Derartige Algorithmen kommen im Rahmen verteilter Systeme zum Einsatz, bei denen kein gemeinsamer Speicher existiert und die Ubertragungs- und Bearbeitungsdauer von Nachrichten i.a. nicht vernachlassigt werden kann. Fur wichtige Grundprobleme, zu denen das Election-Problem, das Schnappschussproblem und das...
Verteilte Algorithmen sind Verfahren, die dadurch charakterisiert sind, dass mehrere autonome Prozesse gleichzeitig Teile eines gemeinsamen Problems i...
Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum...
Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsm...