Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Software Engineering 1980: Berlin, Germany

> Home > Conferences and Workshops > Software Engineering

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/1980
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/1980
Christiane Floyd, Hermann Kopetz:
Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin. Berichte des German Chapter of the ACM 5, Teubner 1981, ISBN 3-519-02424-1

Teil I: Bericht der Tagung

Teil II: Bericht des Workshops

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Kopetz80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Kopetz80
Hermann Kopetz:
Einführung. Software Engineering 1980: 261-262

Arbeitsgruppe 1

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Simonsmeier80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Simonsmeier80
Werner Simonsmeier:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? Software Engineering 1980: 263-264
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Balzert80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Balzert80
Helmut Balzert:
Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte. Software Engineering 1980: 265-267
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/HauerS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HauerS80
K. Hauer, Peter Schnupp:
Thesen zu den Anforderungen an eine Spezifikationssprache. Software Engineering 1980: 268-270
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/LuftS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/LuftS80
Alfred L. Luft, D. Steinbauer:
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. Software Engineering 1980: 271-272
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Mittelstein80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Mittelstein80
Matthias Mittelstein:
Standardisierung von Spezifikationen in einem Softwarehaus. Software Engineering 1980: 273-274
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Simonsmeier80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Simonsmeier80a
Werner Simonsmeier:
Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. Software Engineering 1980: 275-276
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Spitta80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Spitta80
Thorsten Spitta:
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. Software Engineering 1980: 277-278
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Voges80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Voges80
Udo Voges:
Anforderungsspezifikation für sicherheitsrelevante Systeme. Software Engineering 1980: 279-280

Arbeitsgruppe 2

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Kreowski80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Kreowski80a
Hans-Jörg Kreowski:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? Software Engineering 1980: 281-283
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Bruck80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Bruck80
Hans vor der Brück:
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. Software Engineering 1980: 284-285
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Dafoe80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Dafoe80
D. Dafoe:
Modularisierte Systemspezifikation anhand des JDPOOLS. Software Engineering 1980: 286-287
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Kron80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Kron80
Hans H. Kron:
Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum. Software Engineering 1980: 288-289
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Mayr80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Mayr80
Heinrich C. Mayr:
Zur Spezifikation von Datentypen. Software Engineering 1980: 290-292
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Weber80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Weber80
Ekke Weber:
Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI. Software Engineering 1980: 293-294
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Winkler80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Winkler80
Gerhard Winkler:
Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen. Software Engineering 1980: 295-296

Arbeitsgruppe 3

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Witt80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Witt80
Jan Witt:
Inwieweit sind Spezifikationssprachen Programmiersprachen? Software Engineering 1980: 297-299
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Beichter80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Beichter80
Friedrich W. Beichter:
Spezifikationsbeschreibungen in der industriellen Praxis. Software Engineering 1980: 300-302
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Frischkorn80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Frischkorn80
Hans-Georg Frischkorn:
Beschreibung und Bewertung von Spezifikationsmethoden und-sprachen. Software Engineering 1980: 303-305
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Kohler80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Kohler80
Christian Köhler:
Sind die Spezifikationsmethoden heute praktisch einsetzbar? Software Engineering 1980: 306-309
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/KramerS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KramerS80
Bernd J. Krämer, Heinz W. Schmidt:
Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/WintersteinHT80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/WintersteinHT80
Georg Winterstein, Norbert Heck, Peter Trum:
Prädikatenlogik als Basis für eine Spezifikationssprache. Software Engineering 1980: 312-313
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Witt80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Witt80a
Jan Witt:
Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes. Software Engineering 1980: 314-315

Arbeitsgruppe 4

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Keutgen80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Keutgen80
Hans Keutgen:
Inwieweit läßt sich das Entwerfen von Systemen automatisieren? Software Engineering 1980: 316-318
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Florek80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Florek80
Siegfried Florek:
Rechnergestütztes Entwerfen bei einem verteilten Datenbanksystem mit IBIS. Software Engineering 1980: 319-320
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Hesse80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Hesse80
Wolfgang Hesse:
Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-Entwicklungstechniken. Software Engineering 1980: 321-323
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Keutgen80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Keutgen80a
Hans Keutgen:
DARTS - ein Beschreibungswerkzeug mit Unterstützung des datenorientierten Entwurfs. Software Engineering 1980: 324-325
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Muller80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Muller80
Gerhard Müller:
Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware. Software Engineering 1980: 326-327
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Profrock80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Profrock80
Anna-Kristin Pröfrock:
Lösungsansätze für Probleme der Programmdokumentation. Software Engineering 1980: 328-329
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Schwald80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Schwald80
Andreas Schwald:
Schnittstellen in Phasenmodellen. Software Engineering 1980: 329-330
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Timm80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Timm80
Michael Timm:
Aufwandschätzung von Softwareentwicklungsprojekten. Software Engineering 1980: 331-333

Arbeitsgruppe 5

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Rechenberg80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Rechenberg80
Peter Rechenberg:
In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen? Software Engineering 1980: 334-336
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Christ80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Christ80
Joachim Christ:
PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. Software Engineering 1980: 337-338
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Hass80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Hass80
Peter Haß:
Das interaktive Werkzeug BOIE. Software Engineering 1980: 339-341
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/HausenM80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HausenM80
Hans-Ludwig Hausen, Monika Müllerburg:
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. Software Engineering 1980: 342-344
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Rechenberg80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Rechenberg80a
Peter Rechenberg:
Attributierte Grammatiken als Werkzeug der Softwaretechnik. Software Engineering 1980: 345-347
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Rzehak80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Rzehak80
Helmut Rzehak:
Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen Sicherheitsanforderungen. Software Engineering 1980: 348-349

Arbeitsgruppe 6

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Lohr80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Lohr80
Klaus-Peter Löhr:
Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme? Software Engineering 1980: 352-353
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Behr80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Behr80
J.-P. Behr:
Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten Teilnehmerstation. Software Engineering 1980: 352-353
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Belli80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Belli80
Fevzi Belli:
Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Software Engineering 1980: 354-355
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/HerzogK80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HerzogK80
Max Herzog, Bernd Kühnel:
Datenstrukturiertes Entwerfen von Realtime-Software. Software Engineering 1980: 356-357
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Hoffmann80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Hoffmann80
Dietmar Hoffmann:
Probleme beim Software-Entwurf für verteilte Realzeitsysteme. Software Engineering 1980: 358-359
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Rombach80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Rombach80a
H. Dieter Rombach:
Ein Entwurfskonezept für verteilte Systemsoftware. Software Engineering 1980: 360-361
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Zima80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Zima80
Hans P. Zima:
Vergleich von Synchronisationsmechanismen. Software Engineering 1980: 362-363

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.