Login
- Titel:
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
- Dokumenttyp:
- Technical Report
- Autor(en):
- Ursula Hinkel
- 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.
- Stichworte:
- Verteiltes System; Focus; Kommunikationsanwendung
- Jahr:
- 1998
- Jahr / Monat:
- 1998-04-01 00:00:00
- Seiten/Umfang:
- 28
BibTeX