An IDE to Build and Check Task Flow Models

Details An IDE to Build and Check Task Flow Models An IDE to Build and Check Task Flow Models

2011-07-13

arxiv.org/abs/1107.2683v1

Fernandez-y-Fernandez, C.A., Quintanar Morales, J.A and Fernandez Santos, H. An IDE to Build and Check Task Flow Models. Advan

Computer Science

Software Engineering

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

An IDE to Build and Check Task Flow Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An IDE to Build and Check Task Flow Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An IDE to Build and Check Task Flow Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-224496