In diesem ersten Teil einer Reihe von Arbeitspapieren werden Grundbegriffeder Typtheorie (Datentyp, Typkompatibilität, Typsystem) vonProgrammiersprachen eingeführt. Es wird eine Klassifizierung vonTypsystemen vorgenommen.[...]

Unter modellgetriebener Software Entwicklung (sieheMDSD (Bettin, 2004), (Stahl u. a., 2006))werden Vorgehensmodelle verstanden, bei denen Software nicht primär in einer universellen Programmiersprachewie Java, C++, C# oder Smalltalk entwickelt wird, sondern bei der...