Browsing by Author "Madariaga, Erika"

Now showing 1 - 10 of 10
  • Thumbnail Image
    Item
    A Modular Aspect-Oriented Programming Approach of Join Point Interfaces
    (2019) Vidal-Silva, Cristian; Madariaga, Erika; Jiménez, Claudia; Carter, Luis
    This paper describes and analyzes the main differences and advantages of the Join Point Interfaces (JPI) as an Aspect-Oriented Programming (AOP) approach for the modular software production concerning the standard aspect-oriented programming methodology for Java (AspectJ) to propose a structural modeling approach looking for modular software solutions. Using a Software Engineering point-of-view, we highlight the relevance of structural and conceptual design for JPI software applications. We model and implement a classic example of AOP using AspectJ and JPI as an application example to review their main difference and highlight the JPI consistency between products (models and code). Our proposal of UML JPI class diagrams allows the definition of oblivious classes which know about their JPI connections, an essential element to adapt and transform tradition like-AspectJ AOP solutions to their JPI version. Thus, for the modular software production and education, JPI seems an ideal software development approach.
  • Thumbnail Image
    Item
    A Spin / Promela Application for Model checking UML Sequence Diagrams
    (2018) Vidal-Silva, Cristian; Villarroel, Rodolfo; Rubio, José Miguel; Johnson, Franklin; Madariaga, Erika; Campos, Camilo; Carter, Luis
    UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information systems. UML sequence diagrams applications are often on the requirement and design phases of the software development process, and their correctness guarantees the accurate and transparent implementation of software products. The primary goal of this article is to review and improve the translation of basic and complex UML sequence diagrams into Spin / Promela code taking into account behavioral properties and elements of combined fragments of UML sequence diagrams for synchronous and asynchronous messages. This article also redefines a previous proposal for a transition system for UML sequence diagrams by specifying Linear Temporal Logic (LTL) formulas to verify the model correctness. We present an application example of our modeling proposal on a modified version of a traditional case study by using UML sequence diagrams to translate it into Promela code to verify their properties and correctness.
  • Thumbnail Image
    Item
    Applying FireFly Algorithm to Solve the Problem of Balancing Curricula
    (2019) Rubio, José Miguel; Vidal-Silva, Cristian; Soto, Ricardo; Madariaga, Erika; Johnson, Franklin; Carter, Luis
    The problem of assigning a balanced academic curriculum to academic periods of a curriculum, that is, the balancing curricula, represents a traditional challenge for every educational institution which look for a match among students and professors. This article proposes a solution for the balancing curricula problem using an optimization technique based on the attraction of fireflies (FA) meta-heuristic. We perform a set of test and real instances to measure the performance of our solutionproposal just looking to deliver a system that will simplify the process of designing a curricular network in higher education institutions. The obtained results show that our solution achieves a fairly fast convergence and finds the optimum known in most of the tests carried out.
  • Thumbnail Image
    Item
    Applying PHP Codeigniter For Easy Web Development
    (2020-03) Vidal-Silva, Cristian; Jiménez, Claudia; Madariaga, Erika; Urzúa, Luis
    Within the framework of the current advances in web technology, the main objective of the work is to describe the practical advantages of the PHP CodeIgniter 3.0 web development tool to provide a particular solution: MSRS v1.0 Manager Selection and Recruitment System, based on the requirements and structural design of MSRS and then present details of its implementation and operation. Thus, MSRS v1.0 is a web system that supports personnel selection processes in competitions under a specific professional profile, according to the definition of skills necessary for the position. Once the competencies and the level of the required domain have been defined, the items of questions to be evaluated are prepared under various reagent formats, whose responses reach a score that discriminates between the levels of the domain of the applicants, obtaining the most suitable candidate for the charge. The use of PHP CodeIgniter 3.0 stands out since, given a correct analysis of requirements and its logical database model, it allows the rapid development of web applications.
  • Thumbnail Image
    Item
    Big Data Education At The Chilean Academy: Is This Possible?
    (2019-12) Vidal-Silva, Cristian; Madariaga, Erika; Jiménez, Claudia; Urzúa, Luis
    Technology evolves, and the human being presents a growing need for the use and generation of large volumes of information and data (Big Data). Working with Big Data with traditional computer systems is not feasible: Including new knowledge and technology of Big Data for inclusion in professional computer and computer education is necessary. The main objective of this work is to answer whether or not the Chilean academy is prepared to train specialists in Big Data. In addition to describing theoretical and practical components of Big Data along with introducing an essential tool of the subject, this work defines and presents the results of a survey to explore and analyze the reality of the academy in Chile regarding the degree of viability to train and train professionals competent in Big Data. Necessary conditions for developing Big Data competences in the Chilean academy require more adjustments. Specifically, the Chilean academy needs to adopt Big Data topics and solutions for developing those competencies in future professionals.
  • Thumbnail Image
    Item
    Development Of Algorithmic And Mathematical-Logic Competences Of Children In Chile With Scratch
    (2020-04) Vidal-Silva, Cristian; Jiménez, Claudia; Madariaga, Erika; Tupac Yupanqui, Miguel; Sepúlveda, Sussan
    Algorithmic competences for the development of organized operations play an important role in the progress of education and learning of the logical and mathematical reasoning for children. In this context, the visual programming language Scratch is a viable tool for that purpose. Precisely, the main objective of this work is to present experiences and results of the use of that programming language with students of the primary school second year in various Chilean educational institutions, that is, in a public school, in a private school and in a private-subsidized school. These schools are in different geographical areas of the Maule region. Thanks to their social and cultural diversity along with their location, the obtained results are of a great relevance to demonstrate empirically that a significant gap does not exist for the development of algorithmic and logical-mathematical competences in children.
  • Thumbnail Image
    Item
    Estudio de la Realidad y Viabilidad de la Formación en BigData en la Academia Chilena
    (2019) Vidal-Silva, Cristian; Madariaga, Erika; Rubio, José Miguel; Urzúa, Luis
    El principal objetivo de este trabajo es responder si la academia chilena está o no preparada para formar especialistas en Big Data. Además de describir componentes teóricos y prácticos de Big Data junto con introducir una herramienta básica del tema, este trabajo define y presenta los resultados de una encuesta para explorar y analizar la realidad de la academia en Chile respecto al grado de viabilidad para capacitar y formar profesionales competentes en Big Data. Con respecto a estos resultados, este trabajo argumenta que las condiciones necesarias para el desarrollo de competencias de Big Data en la academia chilena aún no están del todo presentes, y así, la academia chilena necesita la adopción de tópicos y soluciones de Big Data para la formación futura de profesionales competentes de ese tan actual tema.
  • Thumbnail Image
    Item
    Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process
    (2019-11) Vidal-Silva, Cristian; Jiménez, Claudia; Madariaga, Erika; Urzúa, Luis
    Aspect-Oriented Software Development AOSD solves modularity issues in the Object-Oriented Software Development OOSD approach. AOSD adds a few more details concerning the dependency between related modules. Join Point Interface JPI represents an AOSD methodology to solve those AOSD issues by the definition of interfaces in the middle of advisable artifacts and aspects. JPI permits developing software modules without crosscutting concerns. Looking for a JPI software development approach, this article proposes and exemplifies the use of JPIAspectZ, an extension of the formal aspect-oriented language AspectZ for the requirement specification of JPI solutions. Mainly, JPIAspectZ looks for a consistent JPI software development process. Defining join point interfaces represents a primary JPI component for explicitly associating aspects and advised modules. Classes are no longer oblivious of possible interaction with aspects, and effectiveness of aspects no more depend on signatures of advisable modules components for the use of JPI instances. JPIAspectZ fully supports these JPI principles. As JPI application examples, this article shows the formal requirements specification, structural model, and JPI code for a typical aspect-oriented application.
  • Thumbnail Image
    Item
    Modulating Crosscutting Concerns By The Decorator Design Pattern Vs. Aspect Oriented Programming In .NET
    (2020-01) Pereira-Vásquez, Cristian; Vidal-Silva, Cristian; Madariaga, Erika; Jiménez, Claudia; Urzúa, Luis
    This article describes and illustrates how to produce modular .NET software solutions by the use of Decorator design pattern and AspectOriented Programming (AOP) tool PostSharp. We applied both techniques for modularizing crosscutting concerns of a traditional modularization example: logging function. This work presents logging solutions with the use of Decorator and PostSharp to modularize associated cross issues, along with detailing the advantages and disadvantages of both solutions. Likewise, this work points out details of in PostSharp along with proposing the use of PostSharp and Decorator to achieve solutions with a higher level of modularity.
  • Thumbnail Image
    Item
    There Is A Low Rate Of Women In Engineering Studies In Chile. Why?
    (2020-01) Jiménez, Claudia; Vidal-Silva, Cristian; Madariaga, Erika; Urzúa, Luis
    Higher education today is a great opportunity for personal and professional growth in the world, especially in developing countries like Chile. Higher education entities such as universities and professional institutes offer a wide and varied proposal of engineering studies with various specialties from those that are closer to people and business management, such as Commercial Engineering and Human Resources, to those more specific to technology such as Computing and Mechatronics Engineering. Given the wide range of opportunities for higher education, it is surprising that the number of women students in Engineering is absolutely lower than that of the number of men, a situation not common in other areas of study such as pedagogy, medical sciences, and law. Precisely, the main objectives of this paper are to present the results of an exploratory study of the working reality in Chile of women engineers to compare these results with the low number of women studying Engineering in Chile, and thus seek and raise the reasons for that divergence.