Alfred L. Luft

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