Das Buch behandelt die beiden wichtigsten Aufgabenstellungen im Rahmen des wirtschaftlich und wissenschaftlich ausserst bedeutenden Gebietes der Testvorbereitung: die automatische Testmustergenerierung und die Fehlersimulation. Alle im Buch beschriebenen Methoden und Verfahren zielen zum einen auf die Minimierung des dazu erforderlichen Rechenzeitaufwandes und zum anderen auf die Bewaltigung moglichst grosser Schaltungskomplexitaten. Besonderer Wert wurde auf eine prazise, formal konsistente und illustrative Beschreibung und auf eine moglichst vollstandige Aufbereitung der einschlagigen...
Das Buch behandelt die beiden wichtigsten Aufgabenstellungen im Rahmen des wirtschaftlich und wissenschaftlich ausserst bedeutenden Gebietes der Testv...
Das Buch soll Software-Entwicklern Hilfen fur ihre Arbeit geben. Dabei wird die Bedeutung der Verwendung graphischer Methoden herausgestellt, besonders fur die Modellbildung in den Anfangsphasen des Software-Lebenszyklus. Um die damit verbundene Zeichenarbeit zu verringern, wird die Erstellung syntaxgesteuerter Diagramm-Editoren vorgeschlagen. Es wird eine allgemeine Methode zur schnellen Generierung syntaxgesteuerter Diagramm-Editoren auf der Basis von Graphgrammatiken vorgestellt, bei der die Graphgrammatiken um die Moglichkeit der Attributierung und Programmierung erweitert werden. Dabei...
Das Buch soll Software-Entwicklern Hilfen fur ihre Arbeit geben. Dabei wird die Bedeutung der Verwendung graphischer Methoden herausgestellt, besonder...
Die Gesellschaft fur Informatik trat mit dem Workshop "Betrieb von Rechenzentren" an den grossen Kreis von Firmen, Behorden, Lehr- und Forschungseinrichtungen heran, die Datenverarbeitungs anlagen betreiben. Die Fragen, die sich aus dem Betrieb von Da tenverarbeitungsanlagen ergeben, betreffen die Organisation des Betriebsablaufs, Probleme der Personalschulung und -fuhrung eben so wie Methoden der Leistungsmessung, der langfristigen Planung, der Betriebssysteme, der Anlagentechnik sowie der leistungsbezo genen Kalkulation, um nur die wichtigsten zu nennen. Um sich nicht in diesem weiten Feld...
Die Gesellschaft fur Informatik trat mit dem Workshop "Betrieb von Rechenzentren" an den grossen Kreis von Firmen, Behorden, Lehr- und Forschungseinri...
In past years there have been several conferences on Computer Archi- tecture and Operating Systems, which were jointly sponsored by the Fachausschuss 3/4 der Gesellschaft fUr Informatik, Rechnerorganisa- tion und Betriebssysteme, whose field of interest is covered by the title of the conferences, and by the Fachausschuss 6 (Technische In- formatik) der Nachrichtentechnischen Gesellschaft im Verband Deutsche Elektrotechniker. The level of attendance at these conferences showed that they satisfied a genuine need. The Fachausschuss 3/4 mentioned above decided in the autumn of 1974 to hold a...
In past years there have been several conferences on Computer Archi- tecture and Operating Systems, which were jointly sponsored by the Fachausschuss ...
Zur 7. Jahrestagung der Gesellschaft fUr Informatik hatte der Pro- grarnrnausschuB urn die Einreichung von Ubersichts- und Spezialvortra- gen aus allen Gebieten der Inforrnatik gebeten. Vortrage Uber Ent- wicklungs- und Benutzungserfahrungen bei Anwendungssystemen solI ten besondere Beachtung finden. (Darnit waren aber nicht Reklarnevortrage im Prospektstil gemeint.) Dem PrograrnrnausschuB wurden 54 Manuskripte vorgelegt, von denen ei- nige sich nur unwesentlich von bereits bei anderen Tagungen ver- 6ffentlichten unterschieden und somit ausgesondert werden muBten. Aufgrund der Beurteilung...
Zur 7. Jahrestagung der Gesellschaft fUr Informatik hatte der Pro- grarnrnausschuB urn die Einreichung von Ubersichts- und Spezialvortra- gen aus alle...
Das Buch behandelt die quantitative Analyse komplexer dynamischer Systeme mittels Modellen, die sich auf Markov-Prozesse abbilden lassen. Es wird ein Konzept entwickelt, welches die hierarchische Spezifikation von komplexen Modellen und die Kombination verschiedener bekannter Modellierungsparadigmen in einem Modell erlaubt. Neue Analysetechniken werden vorgestellt, die unter Ausnutzung der Modellstruktur eine sehr effiziente Modellanalyse erm-glichen. Im Vergleich zu bekannten Analysetechniken lassen sich deutlich gr- ere Modelle analysieren und in vielen F{llen wird auch der Zeitaufwand der...
Das Buch behandelt die quantitative Analyse komplexer dynamischer Systeme mittels Modellen, die sich auf Markov-Prozesse abbilden lassen. Es wird ein ...
In den Proceedings zur 5. Internationalen GI/ITG/GMA-Tagung }ber Fehlerorientierte Rechensysteme in N}rnberg standen Tests, Diagnose und Fehlerbehandlung als Leitthemen im Mittelpunkt. Allerdings wurden auch die Themen Zuverl{ssigkeit, Verf}gbarkeit und Sicherheit in Hard- und Softwaresystemen behandelt. Der Tagungsband gibt mit eingeladenen und eingereichten Beitr{gen, die von einem internationalen Programmausschu sorgf{ltig ausgew{hlt wurden, eine ]bersicht }ber den Stand der Forschung, Entwicklung und Anwendungen aller Fehlertoleranz- und Zuverl{ssigkeitsaspekte.
In den Proceedings zur 5. Internationalen GI/ITG/GMA-Tagung }ber Fehlerorientierte Rechensysteme in N}rnberg standen Tests, Diagnose und Fehlerbehandl...
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen...
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition d...
Tagungsband der 6. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen und Netzen. Dabei werden einerseits das volle methodische Spektrum (Me instrumentierung/Messung, Modellbildung/simulative und mathematische Modellanalyse, Bewertung und Synthese) in leistungsorientierter bzw. leistungs/zuverl{ssigkeitsorientierter Sicht abgedeckt, sowie andererseits }ber praktische Erfahrungen beim Einsatz dieser Methoden und Techniken bei Entwurf,...
Tagungsband der 6. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrun...