Wyniki wyszukiwania:

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in...

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.

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...

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent...