This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.
This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg...
Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung.
Der hier vorliegende Band baut auf dem ersten Band auf und vermittelt die wesentlichen Kenntnisse im Entwurf und in der Programmierung mittels imperativer und objektorientierter Programmiersprachen. Schwerpunkte bilden dabei das zustandsorientierte Programmiermodell und das strukturierte Programmieren, worauf die modulare und...
Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipie...
Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung.
Der hier vorliegende Band vermittelt die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die vierte Auflage des bewahrten Lehrbuches ist grundlegend uberarbeitet und aktualisiert worden.
Der Text...
Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipie...
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozess unterstutzen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit fuhrt daher eine Methode ein, die es erlaubt, die Zeitkomplexitat funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu ubersetzen, dessen Losung das Zeitverhalten des Programms angibt. Durch Einfuhrung von bedingten Rekurrenzen und Rekurrenzfamilien ist es moglich, obere und...
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozess unterstutzen. Sie stellen die Korrektheit der Implementier...
