Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Come, Let's Play

Rami Marelly, David Harel
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.
Autor: Marelly, Rami Harel, David
EAN: 9783642624162
Sprache: Englisch
Seitenzahl: 404
Produktart: kartoniert, broschiert
Verlag: Springer-Verlag GmbH Springer Berlin Heidelberg
Veröffentlichungsdatum: 05.11.2012
Untertitel: Scenario-Based Programming Using LSCs and the Play-Engine
Größe: 22 × 178 × 254
Gewicht: 757 g

Verwandte Artikel

Rami Marelly, David Harel
Come, Let's Play
60,80 €*
inkl. MwSt, zzgl. Versand