most citedAn IDE to Build and Check Task Flow Models

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2011★ 4 cited

An IDE to Build and Check Task Flow Models

Carlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar Morales, Hermenegildo Fernandez Santos

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