4 citations · 12 across the 5 of their papers we have counts for
4 papers · 1 filter
On the need for optimization of the software development processes in short-term projects
Moises Homero Sanchez Lopez, Carlos Alberto Fernandez-y-Fernandez, Jorge Rafael Aguilar Cisneros
Nowadays, most of the software development projects in Mexico are short-term projects (micro and small projects); for this reason, in this paper we are presenting a research propos…
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…
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.…
Using Alloy to model-check visual design notations
Anthony J. H. Simons, Carlos Alberto Fernandez-y-Fernandez
This paper explores the process of validation for the abstract syntax of a graphical notation. We define an unified specification for five of the UML diagrams used by the Discovery…