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

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

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

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

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