From Play-In Scenarios To Code: An Achievable Dream

A complete development scheme for complex reactive systems is discussed, supported by semantically rigorous automated tools, within which one can go from a high-level, user-friendly requirement capture method, which we call play-in scenarios, via the rich sequence language of LSCs, to full behavioral descriptions of the system parts, and from there to a final implementation. A cyclic process consisting of verification against requirements and synthesis from requirements plays an important part in the scheme, which is not quite as imaginary as it may sound.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: