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

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

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

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