The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alfred L. Luft: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002