Alfred L. Luft

According to our database, Alfred L. Luft authored at least 15 papers between 1976 and 1989.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1989

Informatik als Technikwissenschaft, Thesen zur Informatik-Entwicklung.

Alfred L. Luft

Inform. Spektrum, 1989

Die Konsenstheorie der Wahrheit als Fundament für eine Theorie der Informatik.

Alfred L. Luft

Proceedings of the Die Würde der Menschen ist unverNETZbar [5. Jahrestagung des Forums InformatikerInnen für Frieden und gesellschaftliche Verantwortung e.V., 1989

1986

Der Problemansatz in der Informatik. Ein Beitrag zu einem systematischen Verständnis der Informatik.

Alfred L. Luft

Angew. Inform., 1986

1985

Bottom-up- und Top-down-Vorgehensweise beim Datenbankentwurf. Ein Beitrag zur pragmatischen und methodischen Fundierung des Datenbankentwurfs.

Alfred L. Luft

Angew. Inform., 1985

Prädikation, Regulation und Abstraktion. Ein Beitrag zu den philosophischen und terminologischen Grundlagen der Wissensrepräsentation.

Alfred L. Luft

Angew. Inform., 1985

1984

Zur Bedeutung von Modellen und Modellierungs-Schritten in der Softwaretechik.

Alfred L. Luft

Angew. Inform., 1984

Ein Begriffsystem für die Softwaretechnik. Vorschlag zur Terminologie.

Wolfgang Hesse, Hans Keutgen, Alfred L. Luft, H. Dieter Rombach

Inform. Spektrum, 1984

Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme.

Alfred L. Luft

Proceedings of the Entwurf großer Software-Systeme, 1984

1983

Abstraktion, Idealisierung und Modellierung bei der Spezifikation, Konstruktion und Verifikation von Software-Systemen.

Rüdiger Inhetveen, Alfred L. Luft

Angew. Inform., 1983

Scientific-Theoretic Foundations of the Concept of Abstract Data Type.

Alfred L. Luft

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering.

Alfred L. Luft

Angew. Inform., 1982

Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen des Software Engineering.

Alfred L. Luft

Inform. Spektrum, 1982

1981

Software-Engineering und konstruktive Wissenschaftstheorie - Ein Beitrag zur Methodologie des Software Engineering.

Alfred L. Luft

Angew. Inform., 1981

1980

Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen.

Alfred L. Luft, D. Steinbauer

Proceedings of the Software Engineering, 1980

1976

Eine Methode zur rechnergestützten Verifikation von while-Programmen.

Alfred L. Luft

Proceedings of the Programmiersprachen, 1976