Login
- Document type:
- Technical Report
- Author(s):
- Ursula Hinkel
- Title:
- Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
- 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.
- Keywords:
- Verteiltes System; Focus; Kommunikationsanwendung
- Year:
- 1998
- Year / month:
- 1998-04-01 00:00:00
- Pages:
- 28
BibTeX