Skip to main content alibris logo

Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine

by ,

Write The First Customer Review
Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine - Harel, David, and Marelly, Rami
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

loading
Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine 2012, Springer, Berlin, Heidelberg

ISBN-13: 9783642624162

Trade paperback

Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine 2003, Springer, Berlin, Heidelberg

ISBN-13: 9783540007876

2003 edition

Unknown binding