2000 character limit reached
An IDE to Build and Check Task Flow Models (1107.2683v1)
Published 13 Jul 2011 in cs.SE
Abstract: This paper presents the Eclipse plug-ins for the Task Flow model in the Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler and the model-checking tools. The Task Algebra is the formal representation for the Task Model and it is based on simple and compound tasks. The model-checking techniques were developed to validate Task Models represented in the algebra.
Collections
Sign up for free to add this paper to one or more collections.