| 1989 |
|---|
| 15 | | Alfred L. Luft:
Die Konsenstheorie der Wahrheit als Fundament für eine Theorie der Informatik.
FIFF Jahrestagung 1989: 216-233 |
| 14 | | Alfred L. Luft:
Informatik als Technikwissenschaft, Thesen zur Informatik-Entwicklung.
Informatik Spektrum 12(5): 267-273 (1989) |
| 1986 |
|---|
| 13 | | Alfred L. Luft:
Der Problemansatz in der Informatik. Ein Beitrag zu einem systematischen Verständnis der Informatik.
Angewandte Informatik 28(10): 411-422 (1986) |
| 1985 |
|---|
| 12 | | Alfred L. Luft:
Bottom-up- und Top-down-Vorgehensweise beim Datenbankentwurf. Ein Beitrag zur pragmatischen und methodischen Fundierung des Datenbankentwurfs.
Angewandte Informatik 27(11): 457-465 (1985) |
| 11 | | Alfred L. Luft:
Prädikation, Regulation und Abstraktion. Ein Beitrag zu den philosophischen und terminologischen Grundlagen der Wissensrepräsentation.
Angewandte Informatik 27(3): 91-100 (1985) |
| 1984 |
|---|
| 10 | | Alfred L. Luft:
Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme.
Entwurf großer Software-Systeme 1984: 111-133 |
| 9 | | Alfred L. Luft:
Zur Bedeutung von Modellen und Modellierungs-Schritten in der Softwaretechik.
Angewandte Informatik 26(5): 189-196 (1984) |
| 8 | | Wolfgang Hesse,
Hans Keutgen,
Alfred L. Luft,
H. Dieter Rombach:
Ein Begriffsystem für die Softwaretechnik. Vorschlag zur Terminologie.
Informatik Spektrum 7(4): 200-213 (1984) |
| 1983 |
|---|
| 7 | | Alfred L. Luft:
Scientific-Theoretic Foundations of the Concept of Abstract Data Type.
ADT 1983 |
| 6 | | Rüdiger Inhetveen,
Alfred L. Luft:
Abstraktion, Idealisierung und Modellierung bei der Spezifikation, Konstruktion und Verifikation von Software-Systemen.
Angewandte Informatik 25(12): 541-548 (1983) |
| 1982 |
|---|
| 5 | | Alfred L. Luft:
Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering.
Angewandte Informatik 24(4): 215-224 (1982) |
| 4 | | Alfred L. Luft:
Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen des Software Engineering.
Informatik Spektrum 5(4): 209-223 (1982) |
| 1981 |
|---|
| 3 | | Alfred L. Luft:
Software-Engineering und konstruktive Wissenschaftstheorie - Ein Beitrag zur Methodologie des Software Engineering.
Angewandte Informatik 23(3): 93-99 (1981) |
| 1980 |
|---|
| 2 | | Alfred L. Luft,
D. Steinbauer:
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen.
Software Engineering 1980: 271-272 |
| 1976 |
|---|
| 1 | | Alfred L. Luft:
Eine Methode zur rechnergestützten Verifikation von while-Programmen.
Fachtagung über Programmiersprachen 1976: 43-51 |
