The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the...
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and suppo...
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques,...
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of...
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Ablaufe, zeitkritisches Antwortverhalten, komplexe Funktionalitat und sehr hohe Qualitatsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexitat spielt die Architektur. Sie stellt die Regeln und Methoden fur einen effektiven Systementwurf zur Verfugung, auf dem sich der gesamte Entwicklungsprozess abstutzen kann. Dazu gehort eine...
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von...
Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik auch eine fundierte Projektplanung, -organisation und -durchfuhrung. Notig sind Kenntnisse der Aufwandsschatzung und des Angebots- und Vertragswesens. Das einzigartige Lehrbuch fur Studenten bietet auch fur Berufseinsteiger die Basis fur Vorgehensweisen im Software Engineering. Die Kombination von praktischen Erfahrungen und methodischen Grundlagen zeigt die Anwendbarkeit der Inhalte auf. Zahlreiche Ubungsaufgaben vertiefen das gewonnene Wissen.
"
Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik auch eine fundierte Projektplanung, -organisatio...
Das erfolgreiche Lexikon ist wieder auf dem aktuellen Stand. Von den fuhrenden Wissenschaftlern der Informatik bearbeitet, bietet es anschauliche und verstandliche Informationen zur Informatik und Kommunikationstechnik.
Das erfolgreiche Lexikon ist wieder auf dem aktuellen Stand. Von den fuhrenden Wissenschaftlern der Informatik bearbeitet, bietet es anschauliche und ...
Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.
Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler...
Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Technik...
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs.
The book is structured into four parts:
Part I Starting Situation discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from...
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the ...
A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas- sembled and replaced without reassembly of the whole system.
A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) ...