Monterrey, Mexico

Time filter

Source Type

Valles-Barajas F.,Regiomontana University | Schaufelberger W.,ETH Zurich
International Journal of Innovative Computing, Information and Control | Year: 2010

This paper presents a novel approach for specifying the software design of control systems. The design is based on design templates included in the Personal Software Process (PSP), a process that helps software developers make high quality products. This design is used to document software for control systems and to establish better communication between control engineers and software engineers. The paper presents an example that demonstrates the applicability of the PSP design templates in designing software for control systems. ICIC International © 2010 ISSN.

Valles-Barajas F.,Regiomontana University
Innovations in Systems and Software Engineering | Year: 2015

Software engineers should estimate the necessary resources (time, people, software tools among others) to satisfy software project requirements; this activity is carried out in the planning phase. The estimated time for developing software projects is a necessary element to establish the cost of software projects and to assign human resources to every phase of software projects. Most companies fail to finish software projects on time because of a poor estimation technique or the lack of the same. The estimated time must consider the time spent eliminating software defects injected during each of the software phases. A comparative analysis between two techniques (fuzzy linear regression and statistical linear regression) to perform software defect estimation is presented. These two techniques model uncertainty in a different way; statistical linear regression models uncertainty as randomness, whereas fuzzy linear regression models uncertainty as fuzziness. The main objective of this paper was to establish the kind of uncertainty associated with software defect prediction and to contrast these two prediction techniques. The KC1 NASA data set was used to do this analysis. Only six of the metrics included in KC1 data set and lines of code metric were used in this comparative analysis. Descriptive statistics was first used to have an overview of the main characteristics of the data set used in this research. Linearity property between predictor variables and the variable of interest number of defects was checked using scatter plots and Pearson’s correlation coefficient. Then the problem of multicollinearity was verified using inter-correlations among metrics and the variance inflation factor. Best subset regression was applied to detect the most influencing subset of predictor variables; this subset was later used to build fuzzy and statistical regression models. Linearity property between metrics and number of defects was confirmed. The problem of multicollinearity was not detected in the predictor variables. Best subset regression found that the subset composed of 5 variables was the most influencing subset. The analysis showed that the statistical regression model in general outperformed the fuzzy regression model. Techniques for making software defect prediction should be carefully employed in order to have quality plans. Software engineers should consider and understand a set of prediction techniques and know their weaknesses and strengths. At least, in the KC1 data set, the uncertainty in the software defect prediction model is due to randomness so it is reasonable to use statistical linear regression instead of fuzzy linear regression to build a prediction model. © 2015 Springer-Verlag London

Garza Rodriguez L.A.,Regiomontana University | Elizondo Martinez P.,Autonomous University of Nuevo León | Bernes S.,Autonomous University of Nuevo León | Najera Martinez B.,Autonomous University of Nuevo León | Perez Rodriguez N.,Autonomous University of Nuevo León
Acta Crystallographica Section E: Structure Reports Online | Year: 2013

In the title salt, C16H24N4 2+·2NO3 -, both the cation and anion are placed in general positions, although the cation displays non-crystallographic inversion symmetry, with the aliphatic chain extended in an all-trans conformation. The benzene rings are almost parallel, with a dihedral angle between their mean planes of 3.3(6)°. The nitrate ions are placed in the vicinity of the protonated amine groups, forming efficient N - H⋯O inter-ion hydrogen bonds. Each nitrate ion in the asymmetric unit bridges two symmetry-related cations, forming an R4 4(18) ring, a common motif in organic ammonium nitrate salts. This results in the formation of chains along [010] with alternating cations and anions. The neutral amine groups are involved in slightly weaker N - H⋯O hydrogen bonds with the nitrate O atoms, and there are also a number of C - H⋯O hydrogen bonds present. The resulting supramolecular structure is based on a two-dimensional network extending in the ab plane.

Valles-Barajas F.,Regiomontana University
Innovations in Systems and Software Engineering | Year: 2011

Mechatronic systems are composed of mechanical, electronic and software parts. Recently, software processes and modeling notations traditionally used in software engineering have been used in building mechatronic systems. One of the modeling notations used in software design is the Unified Modeling Language (UML), a visual modeling language. In this paper, an analysis of UML in the building of mechatronic systems is presented. © Springer-Verlag London Limited 2011.

Valles-Barajas F.,Regiomontana University
International Arab Journal of Information Technology | Year: 2011

This paper explains how advanced programming language concepts can be used to increase the readability and maintainability of control process software. The programming language concepts presented in this paper are: function pointers, variable argument functions and three concepts related to object-oriented programming: polymorphism, relationship of composition between classes and class methods. The advantage of every one of these concepts is demonstrated by using control applications. The paper also demonstrates that intelligent control algorithms can be improved by using these concepts. C and C++ programming languages are used to implement the code of the control systems.

Valles-Barajas F.,Regiomontana University
International Journal of Computers, Communications and Control | Year: 2014

In this paper a metamodel for an Adaptive Control System (ACS) is described. This metamodel was built employing USE, which is a UML-based specification environment. The main goal of the metamodel is to complement other models describing different views of an ACS. As the reader will notice, the metamodel is composed of a graphical and a mathematical model. Weak constraints are specified in the graphical model using a Unified Modeling Language (UML) class diagram, while strong constraints are defined in the mathematical model using the Object Constraint Language (OCL). © 2006-2014 by CCC Publications.

Valles-Barajas F.,Regiomontana University
Computer Science and Information Systems | Year: 2012

In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a three-in-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diagrams, as well as the rules that govern how these elements can be connected, are specified.

Valles-Barajas F.,Regiomontana University
IEEE Latin America Transactions | Year: 2010

There are several notations to build a model: textual, graphical and by using mathematics. The Object Management Group (OMG) has developed a graphical notation to model systems called SysML (system modeling language); this notation includes the modeling of the system requirements. In this paper a precise model of the requirements diagrams of SysML is presented. This model is made using a modeling language called Alloy, which has been used to formally specify UML diagrams. © 2005 IEEE.

Barajas F.V.,Regiomontana University
Malaysian Journal of Computer Science | Year: 2010

A collaboration represents a set of entities that work together to achieve a common goal. Collaborations are useful to specify how a set of elements collaborate to realize a method, a class or a use case. Collaborations are also useful for representing design patterns, which are represented in UML as parameterized collaborations. This paper contains two complementary models for modeling collaborations; one model is graphical and specifies only basic constraints and the other model is textual and specifies further constraints that cannot be specified in the graphical model. Both of these models were built using Alloy, which is: 1) a modeling language that uses first order logic and relational logic to specify systems 2) a methodology that helps designers in making models 3) an analyzer that detects inconsistencies in design.

Valles-Barajas F.,Regiomontana University
International Journal of Computers, Communications and Control | Year: 2010

In this paper a new model, based on state machines, of adaptive control systems is presented. Due to its high level of expressiveness, UML was chosen as the modeling language. In particular the paper presents a model of an indirect adaptive control system. This model can be used to document and to have a better understanding of adaptive control systems. © 2006-2010 by CCC Publications.

Loading Regiomontana University collaborators
Loading Regiomontana University collaborators