SEDec 11, 2014
Integrating formal methods into traditional practices for software development: an overviewCarlos Alberto Fernandez-y-Fernandez
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in Mexico. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling.
SEFeb 5, 2013
On the need for optimization of the software development processes in short-term projectsMoises 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 proposal with the goal of identifying the elements contributing to their success or failure. With this research, we are trying to identify and propose techniques and tools that would contribute in the successful outcome of these projects.
HCMay 3, 2012
Integrated Development Environment Gesture for modeling workflow diagramsCarlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar
The current software development tools show the same form of interaction as when they started back, in the mid 70's. However, since the appearance of visual languages and due to their own nature, they can be handled by tools which have different input methods to conventional ones. By incorporating new motion detection technology, it is intended that new forms of interaction are established. Interactions which respond to the free movement of hands, therefore the software's developer will have a substantial improvement in the user experience.
SEMay 3, 2012
Towards a new metamodel for the Task Flow Model of the Discovery MethodCarlos Alberto Fernandez-y-Fernandez
This paper presents our proposal for the evolution of the metamodel for the Task Algebra in the Task Flow model for the Discovery Method. The original Task Algebra is based on simple and compound tasks structured using operators such as sequence, selection, and parallel composition. Recursion and encapsulation were also considered. We propose additional characteristics to improve the capabilities of the metamodel to represent accurately the Task Flow Model.