 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Specification and Development of Interactive Systems |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Broy und Stolen beschreiben in ihrem Buch 'Specification and Development of Interactive Systems' die FOCUS Methode. Große verteilte Systeme können damit spezifiziert und entworfen werden.
Die Methode deckt funktionale Anforderungen, Zeitverhalten, Systemstruktur und Implementierungsaspekte ab. Das Buch beschreibt, wie die formale FOCUS-Methode mit Diagramm-basierten Methoden und tabellarischen Methoden verwendet wird. (Aus dem Umschlagtext) Specification and Development of Interactive Systems offers a unique approach to program and software development suitable for large distributed systems, with an emphasis on modular system development and systems engineering. The authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The method covers functional requirements, timing, structure, and implementation issues of systems. In addition, the book describes how to connect the models and techniques to tables and diagram-based methods popular in practical systems engineering.
The Book provides a mathematical and logical foundation for the specification and development of interactive systems based on models that describe systems in terms of their input/output behavior. The reader gains a comprehensive understanding of all fundamental models, techniques, and methods for interactive system design. The book is an essential ressource for all researchers and professionals in computer science, software systems engineering, and computer engineering. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Broy, Manfred Stolen, Ketil | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Buch | |||||||||
| |||||||||
| Verlag | |||||||||
| |||||||||
| Springer | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Specification and Development... | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| | | ||
| ||||||||||||||
|
