Showing 1–8 of 8 results for author: Fernandez-y-Fernandez, C A

Integrating formal methods into traditional practices for software development: an overview

Authors: Carlos Alberto Fernandez-y-Fernandez

Abstract: 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. 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. △ Less

Submitted 31 March, 2016; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: Encuentro Nacional de Ciencias de la Computacion: Investigacion y Aplicacion de la Ingenieria de Software. Oaxaca, Mexico. ISBN 978-0-9908236-0-5

Estado Actual de la Práctica de la Ingeniería de Software en México

Authors: Reyes Juárez-Ramírez, Karen Cortés Verdín, Beatriz Angélica Toscano de la Torre, Hanna Oktaba, Carlos Alberto Fernández-y-Fernández, Brenda Leticia Flores Ríos, Fabiola Angulo Molina

Abstract: The software engineering is a relatively new discipline compared to other sciences, since the origins of the term itself dates back to the years 1968 and 1969. At present, the market and the software industry have a significant relevance in several countries of the world; however, although Mexico is immersed in this race, has not even reached the level of success achieved in other countries in thi… ▽ More The software engineering is a relatively new discipline compared to other sciences, since the origins of the term itself dates back to the years 1968 and 1969. At present, the market and the software industry have a significant relevance in several countries of the world; however, although Mexico is immersed in this race, has not even reached the level of success achieved in other countries in this sector. This paper presents an overview of the situation that keeps the practice of software engineering in Mexico, with emphasis on the academic realm. It shows a compilation of scientific research activity carried out in universities, as well as a brief analysis of undergraduate educational programs including the software engineering discipline . At the end, future work to be done is proposed in order to find a point of convergence between academia and industry, and also to support the flourishing of this business which somehow will have a positive impact on the economy of our country. △ Less

Submitted 24 October, 2013; originally announced October 2013.

Journal ref: Congreso Internacional de Investigación e Innovación en Ingeniería de Software (Conisoft 2013), pp. 3-14, Xalapa, Veracruz, México, 2013. ISBN: 978-0-615-89523-9

On the need for optimization of the software development processes in short-term projects

Authors: Moises Homero Sanchez Lopez, Carlos Alberto Fernandez-y-Fernandez, Jorge Rafael Aguilar Cisneros

Abstract: 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 the… ▽ More 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. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: 8 pages, conference proceedings Tópicos Selectos de Tecnologías de la Información y Comunicaciones in Proceedings of the XXV Congreso Nacional y XI Congreso Internacional de Informática y Computación ANIEI 2012

Integrated Development Environment Gesture for modeling workflow diagrams

Authors: Carlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar

Abstract: 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. Intera… ▽ More 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. △ Less

Submitted 3 May, 2012; originally announced May 2012.

Comments: 8 pages, ISBN: 978-607-607-082-6

Journal ref: Congreso Internacional de Investigacion e Innovacion en Ingenieria de Software (Conisoft 2012), Guadalajara, Jalisco, April 25-27, 2012

Towards a new metamodel for the Task Flow Model of the Discovery Method

Authors: Carlos Alberto Fernandez-y-Fernandez

Abstract: 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… ▽ More 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. △ Less

Submitted 3 May, 2012; originally announced May 2012.

Comments: 7 pages, ISBN: 978-607-607-082-6

Journal ref: Congreso Internacional de Investigacion e Innovacion en Ingenieria de Software (Conisoft 2012), Guadalajara, Jalisco, April 25-27, 2012

Towards the integration of formal specification in the Áncora methodology

Authors: Carlos Alberto Fernandez-y-Fernandez, Martín José José

Abstract: 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 software. The software industry has struggled to generate quality software, as importance has not been given to the engineering requirements, resulting in a poor specification of requirements and software of poor quality. In or… ▽ More 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 software. The software industry has struggled to generate quality software, as importance has not been given to the engineering requirements, resulting in a poor specification of requirements and software of poor quality. In order to generate a contribution to the specification of requirements, this article describes a methodological proposal, implementing formal methods to the results of the process of requirements analysis of the methodology Áncora. △ Less

Submitted 3 November, 2011; originally announced November 2011.

An IDE to Build and Check Task Flow Models

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

Abstract: 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. 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. △ Less

Submitted 13 July, 2011; originally announced July 2011.

Journal ref: Fernandez-y-Fernandez, C.A., Quintanar Morales, J.A and Fernandez Santos, H. An IDE to Build and Check Task Flow Models. Advances in Computer Science and Applications, Research in Computer Science 53, 2011, pp. 23-33

Using Alloy to model-check visual design notations

Authors: Anthony J. H. Simons, Carlos Alberto Fernandez-y-Fernandez

Abstract: 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 Method and, in this document, we illustrate how diagrams can be represented in Alloy and checked against our specification in order to know if these are valid under the Discovery notation. 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 Method and, in this document, we illustrate how diagrams can be represented in Alloy and checked against our specification in order to know if these are valid under the Discovery notation. △ Less

Submitted 15 February, 2008; originally announced February 2008.

Comments: 8 pages

ACM Class: I.6.4; D.3.1; I.3.5

Journal ref: Simons, A.J.H. and Fernandez-y-Fernandez, C.A., Using Alloy to model-check visual design notations. In Sixth Mexican Int. Conf. on C S, (Mexico, 2005), IEEE, 121-128