Come, Let's Play
Marelly, Rami, Harel, David
| Autor: | Harel, David Marelly, Rami |
|---|---|
| Themengebiete: | EDV / Theorie / Software-Entw. / Software-Design Programmieren (EDV) / Entwurf |
| Veröffentlichungsdatum: | 23.06.2003 |
| EAN: | 9783540007876 |
| Auflage: | 2003 |
| Sprache: | Englisch |
| Seitenzahl: | 404 |
| Produktart: | Gebunden |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Untertitel: | Scenario-Based Programming Using LSCs and the Play-Engine |
Produktinformationen "Come, Let's Play"
The play-in/play-out method and tool presented in this book is a powerful new approach to software and systems engineering and modeling based on formal methods and program semantics. The life sequence charts (LSC) as the language of this approach generalize the message sequence charts of UML and are presented in this book for the first time in a coherent and systematic way. The method described is fascinating from the scientific point of view. The associated play-engine tool available from the authors' Web site has broad appeal to professionals in software engineering, systems engineering, and modeling and simulation.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen