4 citations · 12 across the 5 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011★ 2 cited
Towards the integration of formal specification in the Áncora methodology
Carlos Alberto Fernandez-y-Fernandez, Martín José José
There are some non-formal methodologies such as RUP, OpenUP, agile methodologies such as SCRUP, XP and techniques like those proposed by UML, which allow the development of softwar…
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.…