Vergleicht man die Erstellung, Nutzung und Wartung einer Maschine mit denselben Aktivitaten fur Software, so bestehen in vielen Punkten Gemeinsamkeiten und in einigen Punkten Unterschiede. So durfen im Gegensatz zur Maschinenwartung bei der SW-Wartung i.d.R. keine Ausfallzeiten entstehen. Wahrend Wartung im industriellen Bereich eine Erhaltung des Leistungsvermogens von Maschinen bedeutet, kann SW-Wartung unterschiedliche Motive haben (vgl. hierzu Abschn. 3.2). Die Publikationen, die sich mit methodischen, organisatorischen und technischen Aspekten der Software befassen, beschranken sich...
Vergleicht man die Erstellung, Nutzung und Wartung einer Maschine mit denselben Aktivitaten fur Software, so bestehen in vielen Punkten Gemeinsamkeite...
Die Theoretische Informatik ist alter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer zuganglich, da sie auf ein grosseres und tieferes Fundament aufbauen. Stark verastelte Theorien tendieren dazu, sich als Selbstzweck aufzufassen und als l'art pour l'art betrieben zu werden. In der vorliegenden Einfuhrung in die Theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun gen in den...
Die Theoretische Informatik ist alter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereit...
Multiprozessorsysteme, die aus vielen "billigen" Mikroprozessoren aufgebaut sind, erschlieBen aufgrund ihrer hohen Leistungsfahigkeit immer neue Anwendungsberei che. Eine Voraussetzung fiir den Einsatz von Multiprozessorsystemen ist jedoch die Parallelisierbarkeit eines Problems, d. h. die Aufteilung in Teilprobleme, die ver schiedene Prozessoren gleichzeitig bearbeiten konnen. Da ein ProzeBwechsel, also ein Wechsel von einem Teilproblem zu einem anderen, einen hohen Verwaltungsauf wand bedeutet, lassen sich heutige Multiprozessorsysteme nur dann effizient einset zen, wenn jedes dieser...
Multiprozessorsysteme, die aus vielen "billigen" Mikroprozessoren aufgebaut sind, erschlieBen aufgrund ihrer hohen Leistungsfahigkeit immer neue Anwen...
Vierzig Jahre, nachdem John von Neumann sein Konzept eines rechnenden, programmgesteuerten Automaten entworfen hat, setzt sich nun in der Informatik die Erkenntnis durch, dass sequentiell arbeitende Rechner fur manche Probleme zu langsam arbeiten. Mit vielen, parallel arbeitenden Prozessoren versucht man heutzutage in Multiprozessoranlagen, den "von Neumann-Flaschenhals" zu umgehen. Dabei ergeben sich eine Menge neuer Probleme: Die Aktivitat der Prozessoren muss synchronisiert werden, die Daten mussen effektiv verteilt werden und "Knoten" im Datenfluss (hot spots) zwischen den Prozessoren und...
Vierzig Jahre, nachdem John von Neumann sein Konzept eines rechnenden, programmgesteuerten Automaten entworfen hat, setzt sich nun in der Informatik d...
Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von grossem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung geeig neter Reprasentationen, der Moglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfuhrung fur diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Wahrend ein Buch uber dieses Thema - insbesondere auf Deutsch verfasst - vor einigen Jahren noch etwas fast...
Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von grossem praktischen Interesse ist, wirft eine Reihe grund l...
In den vergangenen Jahren wurde die Programmierung wm Rechenanlagen als diejenige Disziplin erkannt, deren Beherrschung grundlegend und entscheidend fur den Erfolg vieler Entwicklungsprojekte ist und die wissenschaftlicher Behandlung und Darlegung zuganglich ist Vom Handwerk stieg sie zur akademischen Disziplin auf. Die ersten hervorragenden Beitrage zu dieser Entwicklung wurden von E. W. Dijkstra und C. A. R. Hoare geliefert Dijkstra's Notes on Struetured Programming 6J fuhrten zu einer neuen Betrachtung der Programmierung als wissenschaftliches Thema und als intellektuelle Herausforderung....
In den vergangenen Jahren wurde die Programmierung wm Rechenanlagen als diejenige Disziplin erkannt, deren Beherrschung grundlegend und entscheidend f...
Entwicklungen gerecht zu werden versucht - auf eine Diskussion der verschiedenen und zum Teil recht uneinheitlichen Bezeich nungsweisen, die in der Literatur verwendet werden, wurde ver zichtet; gelegentlich werden jedoch einige Anmerkungen im je weiligen Abschnitt uber Literaturhinweise und historische Be merkungen gemacht. Diese Abschnitte sind jedoch vor allem dazu da, die Erstveroffentlichungen der dargestellten Ideen und Re sultate anzugeben, ferner werden dort auch einige erganzende Arbeiten und viele Lehrbucher zitiert. Im Text wird nicht spe ziell auf die Literatur verwiesen. Die...
Entwicklungen gerecht zu werden versucht - auf eine Diskussion der verschiedenen und zum Teil recht uneinheitlichen Bezeich nungsweisen, die in der Li...
Die vorliegende zweite Auflage dieses Buches stellt eine vollstandige Neubearbeitung der 1977 in diesem Verlag erschienenen Erstauflage sowie des 1981 von der Fernuniversitat Hagen publizierten Fernstudienkurses "Betriebssysteme" dar. Der Text wurde mehrfach in vom Verfasser an der Abteilung Informatik der Universitat Dortmund gehaltenen Vorlesungen benutzt und hat in der nun vorliegenden Form sicherlich betrachtlich von den zahlreichen Anregungen aus dem Kreise der Kollegen sowie der Studenten, die diese Vorlesungen horten, profitiert. Die Darstellung ist orientiert an einer Gesamteinfuhrung...
Die vorliegende zweite Auflage dieses Buches stellt eine vollstandige Neubearbeitung der 1977 in diesem Verlag erschienenen Erstauflage sowie des 1981...
Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zurich vermitteln. Vieles davon ist bereits fruher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Stu denten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhangige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der...
Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker a...
Der moderne Digital-Computer wurde entwickelt, um komplizierte und zeitraubende Berechnungen zu erleichtern und zu beschleunigen. Bei den meisten Anwendungen spielt seine Fahigkeit, grosse Mengen von Informationen zu speichern und wieder zuganglich zu machen, die wichtigste Rolle (und wird als Haupteigenschaft betrachtet): seine Fahigkeit zu rechnen, d.h. zu kalkulieren, Arithmetik auszufuhren, ist in vielen Fallen nahezu belanglos. In allen diesen Fallen stellt die grosse Menge an Information, die in irgendeiner Weise verarbeitet werden muss, eine Abstraktion eines Teils der realen Welt dar....
Der moderne Digital-Computer wurde entwickelt, um komplizierte und zeitraubende Berechnungen zu erleichtern und zu beschleunigen. Bei den meisten Anwe...