Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlic...

Embedded systems have long become essential in application areas in which human control is imposs...

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Wei...

Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systemat...

Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Methoden, technischen Str...

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung 'Einführung in die...

This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it...

Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwick...

Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unt...

Software Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. K...

This book explores the possibility of integrating design thinking into today's technical contexts...

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the...

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the form...

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem...

The development of information processing systems requires models, calculi, and theories for the ...

Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtech...

This volume comprises the papers selected for presentationat the international conference on Form...

Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Co...

Deductive program design aims at methods that guide and support the development of programs by te...

The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as a...

Deductive program design aims at methods that guide and support the development of programs by te...

Testing is the primary hardware and software verification technique used by industry today. Usual...

The systematic development of software systems is a centraltask of computing science. A software ...

Embedded systems have long become essential in application areas in which human control is imposs...

Dieser Band dokumentiert ein Kolloquium mit dem Titel 'Informatik im Kreuzungspunkt von Numerisch...

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conf...

In a time of multiprocessor machines, message switching networks and process control programming ...

This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it...

This book constitutes the refereed post-conference proceedings of the Second International Andrei...

This Open Access book presents the results of the 'Collaborative Embedded Systems' (CrESt) projec...

This book constitutes the final report of the work carried out in the project KORSO ('Korrekte So...

Computing Science is a science of constructive methods. The solution of a problem has to be descr...

Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informations...

50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, ...

In computing science design plays an eminently important role. By now, it is quite clear that the...

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem...

Dieses Lexikon bietet anschauliche und verständliche Informationen betreffend der theoretischen I...

This book presents a fundamental mathematical and logical approach to soft ware and systems engin...

Software development for the automotive domain has become the enabling te- nologyforalmostallsafe...

The development of information processing systems requires models, calculi, and theories for the ...

Modern information processing systems show such complex properties as distribution, parallelism, ...

Software engineering has over the years been applied in many different fields, ranging from telec...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Er...

Software development for the automotive domain is currently subject to a silent revolution. On th...

This book explores the possibility of integrating design thinking into today's technical contexts...

This book presents a fundamental mathematical and logical approach to soft ware and systems engin...

Software engineering has over the years been applied in many different fields, ranging from telec...