Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine [With CDROM] (2003)

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.