The SCEAS System
Navigation Menu

Conferences in DBLP

Software Engineering (se)
1980 (conf/se/1980)

  1. Cliff B. Jones
    Towards More Formal Specifictations. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:19-45 [Conf]
  2. Hans-Jörg Kreowski
    Algebraische Spezifikation von Softwaresystemen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:46-74 [Conf]
  3. Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
    Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:75-90 [Conf]
  4. Friedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog
    SALN-4, A Software Specification and Design Language. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:91-108 [Conf]
  5. Karl Kleine
    Pragmatische Kurskorrekturen für Spezifikationssprachen in der Praxis. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:109-128 [Conf]
  6. Wladyslaw M. Turski
    Design of Large Programs. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:129-160 [Conf]
  7. H. Schelling, Joachim Biewald
    Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOS. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:161-174 [Conf]
  8. Helmut Balzert, Dieter Weber
    PLASMA/D - Eine Sprache für den Systementwurf. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:175-201 [Conf]
  9. Peter H. Yeomans
    Requirements Analysis Using SADT. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:202-219 [Conf]
  10. Holger Franck
    Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:220-227 [Conf]
  11. W. Oostendorp
    PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:228-240 [Conf]
  12. H. Dieter Rombach
    Ein Entwurfskonzept für lokal verteilte Systemsoftware. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:241-257 [Conf]
  13. Hermann Kopetz
    Einführung. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:261-262 [Conf]
  14. Werner Simonsmeier
    Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:263-264 [Conf]
  15. Helmut Balzert
    Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:265-267 [Conf]
  16. K. Hauer, Peter Schnupp
    Thesen zu den Anforderungen an eine Spezifikationssprache. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:268-270 [Conf]
  17. 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]
  18. Matthias Mittelstein
    Standardisierung von Spezifikationen in einem Softwarehaus. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:273-274 [Conf]
  19. Werner Simonsmeier
    Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:275-276 [Conf]
  20. Thorsten Spitta
    Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:277-278 [Conf]
  21. Udo Voges
    Anforderungsspezifikation für sicherheitsrelevante Systeme. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:279-280 [Conf]
  22. Hans-Jörg Kreowski
    Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:281-283 [Conf]
  23. Hans vor der Brück
    Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:284-285 [Conf]
  24. D. Dafoe
    Modularisierte Systemspezifikation anhand des JDPOOLS. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:286-287 [Conf]
  25. Hans H. Kron
    Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:288-289 [Conf]
  26. Heinrich C. Mayr
    Zur Spezifikation von Datentypen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:290-292 [Conf]
  27. Ekke Weber
    Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:293-294 [Conf]
  28. Gerhard Winkler
    Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:295-296 [Conf]
  29. Jan Witt
    Inwieweit sind Spezifikationssprachen Programmiersprachen? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:297-299 [Conf]
  30. Friedrich W. Beichter
    Spezifikationsbeschreibungen in der industriellen Praxis. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:300-302 [Conf]
  31. Hans-Georg Frischkorn
    Beschreibung und Bewertung von Spezifikationsmethoden und-sprachen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:303-305 [Conf]
  32. Christian Köhler
    Sind die Spezifikationsmethoden heute praktisch einsetzbar? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:306-309 [Conf]
  33. Bernd J. Krämer, Heinz W. Schmidt
    Interaktive Softwareentwicklung durch schrittweise Formalisierung. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:310-311 [Conf]
  34. Georg Winterstein, Norbert Heck, Peter Trum
    Prädikatenlogik als Basis für eine Spezifikationssprache. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:312-313 [Conf]
  35. Jan Witt
    Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:314-315 [Conf]
  36. Hans Keutgen
    Inwieweit läßt sich das Entwerfen von Systemen automatisieren? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:316-318 [Conf]
  37. Siegfried Florek
    Rechnergestütztes Entwerfen bei einem verteilten Datenbanksystem mit IBIS. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:319-320 [Conf]
  38. Wolfgang Hesse
    Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-Entwicklungstechniken. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:321-323 [Conf]
  39. Hans Keutgen
    DARTS - ein Beschreibungswerkzeug mit Unterstützung des datenorientierten Entwurfs. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:324-325 [Conf]
  40. Gerhard Müller
    Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:326-327 [Conf]
  41. Anna-Kristin Pröfrock
    Lösungsansätze für Probleme der Programmdokumentation. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:328-329 [Conf]
  42. Andreas Schwald
    Schnittstellen in Phasenmodellen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:329-330 [Conf]
  43. Michael Timm
    Aufwandschätzung von Softwareentwicklungsprojekten. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:331-333 [Conf]
  44. Peter Rechenberg
    In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:334-336 [Conf]
  45. Joachim Christ
    PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:337-338 [Conf]
  46. Peter Haß
    Das interaktive Werkzeug BOIE. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:339-341 [Conf]
  47. Hans-Ludwig Hausen, Monika Müllerburg
    Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:342-344 [Conf]
  48. Peter Rechenberg
    Attributierte Grammatiken als Werkzeug der Softwaretechnik. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:345-347 [Conf]
  49. Helmut Rzehak
    Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:348-349 [Conf]
  50. Klaus-Peter Löhr
    Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme? [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:352-353 [Conf]
  51. J.-P. Behr
    Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:352-353 [Conf]
  52. Fevzi Belli
    Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:354-355 [Conf]
  53. Max Herzog, Bernd Kühnel
    Datenstrukturiertes Entwerfen von Realtime-Software. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:356-357 [Conf]
  54. Dietmar Hoffmann
    Probleme beim Software-Entwurf für verteilte Realzeitsysteme. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:358-359 [Conf]
  55. H. Dieter Rombach
    Ein Entwurfskonezept für verteilte Systemsoftware. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:360-361 [Conf]
  56. Hans P. Zima
    Vergleich von Synchronisationsmechanismen. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:362-363 [Conf]
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