Home » Articles

Temporal Properties of Use Cases Verification

26 September 2011 No Comment

This article presents a semi-automated method that helps to write use cases iteratively in a natural language and to verify consistency of their temporal properties. This is particularly beneficial when the use cases are created simultaneously by multiple developers. The proposed method allows to verify the consistency of textual use-case specification by employing annotations in use case steps.

Related Content:

Comments are closed.