Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1

concrete-scenarios

Compare

A concrete scenario documents a user task performed in a particular situation with a sequence of precisely written system states. Concrete scenarios are both precise and understandable. They are useful in the specifications of functional requirements. Collections of concrete scenarios have been ... [More] used to create formal speciifcations in Z and executable specification in CLIPS systematically. Without appropriate tools, the process to derive specifications from concrete scenarios is tedious and error-prone. This project aims to develop tools to improve the effectiveness and efficiency of the process. Concrete scenarios were invented by Oliver Au as part of his PhD research at Loughborough University under the supervision of John Cooke and Roger Stone. Oliver is currently an instructor with the Computer Science Department at the City University of Hong Kong. [Less]

0
 
  0 reviews  |  0 users  |  0 current contributors  |  Analyzed 6 days ago
  requirements scenarios clips z formal specification concrete executable prototype
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.