Günter Hommel, Dirk Krönig
Proceedings of the Workshop (Arbeitstagung) on Requirements Engineering
Requirements Engineering, 1983.

@proceedings{RE-1983,
	editor        = "Günter Hommel and Dirk Krönig",
	isbn          = "3-540-12692-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Informatik-Fachberichte}",
	title         = "{Proceedings of the Workshop (Arbeitstagung) on Requirements Engineering}",
	volume        = 74,
	year          = 1983,
}

Contents (18 items)

13 ×#german
3 ×#requirements

RE-1983-Hruschka #german #named #requirements

Requirements — einmal anders betrachtet (PH), pp. 1–14.

RE-1983-FlorekS #german #problem

Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS (SF, HJS), pp. 15–28.

RE-1983-Reisig #design #petri net #using

System Design Using Petri Nets (WR), pp. 29–41.

RE-1983-PartschP #data type

Abstract Data Types as a Tool for Requirement Engineering (HP, PP), pp. 42–55.

RE-1983-Dette #german #prototype

Erfahrungen mit Programm-Prototypen (WD), pp. 56–63.

RE-1983-Fischer #german

Drei Jahre SADT bei SCS: Blick zurück ohne Zorn (AF), pp. 64–76.

RE-1983-Meyer #requirements

Requirements Engineering in S/E/TEC (HMM), pp. 77–91.

RE-1983-Jovalekic #german

Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS — Eigenschaften und Erfahrungen (SJ), pp. 92–103.

RE-1983-Eckert #german

Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO (KE), pp. 104–118.

RE-1983-SchweizerK #german

Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich (GS, SK), pp. 119–137.

RE-1983-Partsch #algebra #on the #requirements #using

On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.

RE-1983-KuhnelT #german

Systematische Aufgabenklärung am Beispiel Software (BK, GT), pp. 159–172.

RE-1983-Schnupp #german #prolog

Prolog als Spezifikations- und Modellierungswerkzeug (PS), pp. 173–182.

RE-1983-Trauboth #german

Entwicklung von Prozeßinformationssystemen — ein Lernprozeß für Entwickler und Andwender (HT), pp. 183–197.

RE-1983-Winkler #german #simulation

Anforderungsbeschreibung und Simulation mit Net-Modellen (PW), pp. 198–207.

RE-1983-Mittermeir #german

Anforderungsmodellierung für Realzeitsysteme — Ansätze zur Bewältigung von Komplexität und von Unschärfe (RM), pp. 208–222.

RE-1983-EppleK #german

Benutzernahe Anforderungsanalyse mit SARS (WKE, GRK), pp. 223–239.

RE-1983-Kopetz #distributed #realtime

Real Time in Distributed Real Time Systems (HK), pp. 240–247.