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

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

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

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

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