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

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

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