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

by David Harel and Rami Marelly

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 3642624162
• ISBN13: 9783642624162
• Release Date: November 2012
• Publisher: Springer
• Length: 382 Pages
• Weight: 1.54 lbs.
• Dimensions: 0.8" x 7.0" x 10.0"