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)
- 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.