Alfred L. Luft

Publication Activity (10 Years)

Years Active: 1976-1989
Publications (10 Years): 0

Publications

Alfred L. Luft
Die Konsenstheorie der Wahrheit als Fundament für eine Theorie der Informatik. FIFF Jahrestagung (1989)
Alfred L. Luft
Informatik als Technikwissenschaft, Thesen zur Informatik-Entwicklung. Inform. Spektrum 12 (5) (1989)
Alfred L. Luft
Der Problemansatz in der Informatik. Ein Beitrag zu einem systematischen Verständnis der Informatik. Angew. Inform. 28 (10) (1986)
Alfred L. Luft
Prädikation, Regulation und Abstraktion. Ein Beitrag zu den philosophischen und terminologischen Grundlagen der Wissensrepräsentation. Angew. Inform. 27 (3) (1985)
Alfred L. Luft
Bottom-up- und Top-down-Vorgehensweise beim Datenbankentwurf. Ein Beitrag zur pragmatischen und methodischen Fundierung des Datenbankentwurfs. Angew. Inform. 27 (11) (1985)
Alfred L. Luft
Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme. Entwurf großer Software-Systeme (1984)
Wolfgang Hesse, Hans Keutgen, Alfred L. Luft, H. Dieter Rombach
Ein Begriffsystem für die Softwaretechnik. Vorschlag zur Terminologie. Inform. Spektrum 7 (4) (1984)
Alfred L. Luft
Zur Bedeutung von Modellen und Modellierungs-Schritten in der Softwaretechik. Angew. Inform. 26 (5) (1984)
Rüdiger Inhetveen, Alfred L. Luft
Abstraktion, Idealisierung und Modellierung bei der Spezifikation, Konstruktion und Verifikation von Software-Systemen. Angew. Inform. 25 (12) (1983)
Alfred L. Luft
Scientific-Theoretic Foundations of the Concept of Abstract Data Type. ADT (1983)
Alfred L. Luft
Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering. Angew. Inform. 24 (4) (1982)
Alfred L. Luft
Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen des Software Engineering. Inform. Spektrum 5 (4) (1982)
Alfred L. Luft
Software-Engineering und konstruktive Wissenschaftstheorie - Ein Beitrag zur Methodologie des Software Engineering. Angew. Inform. 23 (3) (1981)
Alfred L. Luft, D. Steinbauer
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. Software Engineering (1980)
Alfred L. Luft
Eine Methode zur rechnergestützten Verifikation von while-Programmen. Fachtagung über Programmiersprachen (1976)