Rezension: Standardwerk (erstmals 1967) in nunmehr 13. Auflage (zuletzt: ID 28/02). Nachdem mit der 12. Auflage (2006, hier nicht besprochen) bereits Gliederung und Inhalt grundlegend neu strukturiert und ergänzt wurden, enthält diese Ausgabe weitere Präzisierungen und etliche kleinere...

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

Existing tools for generating application programming interfaces(APIs) for ontologies lack sophisticated support for mapping thelogics-based concepts of the ontology to an appropriate object-orientedimplementation of the API. Such a mapping has to overcome the fundamentaldierences between the...

The family of languages that builds the foundation of the MEMO method is intended to feature a high degree of inter-language integration. For this purpose, the languages need to share common concepts. In order to define concepts that are semantically equivalent, it is recommendable to use the...

The family of languages that builds the foundation of the MEMO method is intended to feature a high degree of inter-language integration. For this purpose, the languages need to share common concepts. In order to define concepts that are semantically equivalent, it is recommendable to use the...

In this report a system for computer aided assessments and exercises on Java programming is presented and discussed. The report includes a detailed system description, experiences and evaluations from using the system, plans for future development and a brief overview about related work and...

In recent years, the development of domain-specific modelling languages has gained remarkable attention. This is for good reasons: A domain-specific modelling language incorporates concepts that represent domain-level knowledge. Hence, systems analysts are not forced to reconstruct these...