Establishing properties of frameworks and their applications a case study using alloy and object-z von Heger, Christian, Schmitz, Lothar 1949-

Volltext öffnen

Watching the objects within a compiler von Schmitz, Lothar 1949-

Zur Gestaltung und Implementierung einiger rechnergestützter Lernwerkzeuge von Schmitz, Lothar 1949-

Rigorous program development with control abstractions a case study von Schmitz, Lothar 1949-

SIC '95 report and user manual von Schmitz, Lothar 1949-, Schulter, Frank, Laak, Jens van

Exploring Ada concepts and techniques von Heilbrunner, Stephan 1947-1996, Mast, Andreas, Schmitz, Lothar 1949-

Adapting the Early-Harrison algorithm to a class of non-context-free grammars von Schmitz, Lothar 1949-

Adapting the Early-Harrison algorithm to a class of non-context-free grammars von Schmitz, Lothar 1949-

An exercise in program synthesis algorithms for computing the transitive closure of a relation von Schmitz, Lothar 1949-

Programmentwicklung mit Kontrollabstraktionen von Schmitz, Lothar 1949-

Beschreibung

Syntaxbasierte Programmierwerkzeuge von Schmitz, Lothar 1949-

Inhaltsverzeichnis

Class inheritance and program transformations von Schmitz, Lothar 1949-

Wiederverwendbarkeit in Ada und Smalltalk Vergleich an einem Beispiel aus der Bürowelt von Schmitz, Lothar 1949-

An efficient recognizer for the Boolean closure of context-free languages von Heilbrunner, Stephan 1947-1996, Schmitz, Lothar 1949-

Rigorous derivation of a sophisticated algorithm smoothshort von Furbach, Ulrich 1948-, Schmitz, Lothar 1949-

Theorie kettenfreier LR-Zerteiler von Schmitz, Lothar 1949-

An improved transitive closure algorithm von Schmitz, Lothar 1949-