Technical Report
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
Author(s): Ursula Hinkel
Year: 1998
Number: TUM-I9808
Editor:
CR Classification: D.2.1, F.1.2, F.3.1
CR General Terms: Design, Languages, Theory
Keywords: Focus, verteiltes System, Kommunikationsanwendung, Spezifikation
Abstract:Am Beispiel der Kommunikationsanwendung Home Shopping wird die
Entwicklung einer
Spezifikation im Rahmen der formalen
Entwicklungsmethodik Focus vorgestellt.
Ausgehend von einer
informellen Beschreibung des Systems wird schrittweise eine
formale Spezifikation erstellt, wobei insbesondere graphische
und
tabellarische Beschreibungstechniken verwendet werden.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{TUMI9808,
author = {Ursula Hinkel},
title = {Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus},
number = {TUM-I9808},
institution = {Technische Univerit\"at M\"unchen},
year = {1998},
url = {http://www4.informatik.tu-muenchen.de/reports/TUMI9808.html},
abstract = {Am Beispiel der Kommunikationsanwendung Home Shopping wird die
Entwicklung einer Spezifikation im Rahmen der formalen
Entwicklungsmethodik Focus vorgestellt. Ausgehend von einer
informellen Beschreibung des Systems wird schrittweise eine
formale Spezifikation erstellt, wobei insbesondere graphische
und tabellarische Beschreibungstechniken verwendet werden.},
CRClassification = {D.2.1, F.1.2, F.3.1},
CRGenTerms = {Design, Languages, Theory}}
]]>