Search the dblp DataBase

Publications of Author

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