Search

Modern project management in software engineering still lacks a commonly accepted applicable formal model of projects that can be used for accumulating experience or for developing applied optimization methods that can potentially help IT companies to reduce risks and deliver software in a more efficient way. The Essence language which was developed by SEMAT initiative can potentially work as such a formal model for software projects, but current Essence practitioners mostly focus on methodology work for describing different approaches to perform tasks for software projects. In this work, we propose a way to develop a prototype of a decision support system based on the Essence kernel and language in combination with an applied optimization model. In order to do this, we firstly design how to include Essence practice in an applied math model and then modify a Bayesian network that finds false-positive manager mistakes. As an example of implementation of the achieved results, we present the current state of the plugin for the software project management system Redmine that uses our approach to help managers of projects.

espanolSemat (Metodo y teoria de ingenieria de software) es una iniciativa desarrollada para refundar la ingenieria de software mediante la definicion de una base teorica, mejores practicas y un conjunto de elementos ampliamente aceptados. ISO/IEC 25000 (Requisitos y evaluacion de la calidad del sistema y el software-SQuaRE) es un estandar internacional, que permite evaluar la calidad del producto de software. ISO 25000 reemplaza las normas ISO/IEC 9126 e ISO/IEC 14598. Algunos autores describen la relacion entre las medidas de calidad de la ISO/IEC 9126 con los estados de los alfas requisitos y sistema de software del nucleo de la Esencia Semat. Ademas, los autores redefinen los criterios de finalizacion de los espacios de actividad relacionados con los alfas. Otras propuestas incluyen una relacion esquematica entre las medidas de calidad de la norma ISO/IEC 9126 y los estados del alfa, pero evitan su correlacion y algunos criterios para evaluar la calidad del producto. Otras propuestas basadas en la ISO/IEC 25000 comprenden otros marcos de trabajo diferentes a Semat. Nuestra propuesta se centra en la seleccion de las medidas apropiadas de los estados del alfa sistema de software para estructurar las relaciones entre ellos, validarlos mediante un estudio de caso y desarrollar un modelo para la medicion de la calidad del producto del software. Los resultados son prometedores, ya que podemos usarlos para establecer un modelo coherente y estructural para evaluar la salud y el progreso del alfa sistema de software. EnglishSemat (Software Engineering Method and Theory) is an initiative developed for refounding software engineering by defining a theoretical basis, best practices, and a set of widely-agreed elements. ISO/IEC 25000 (System and Software Quality Requirements and Evaluation-SQuaRE) is an international standard, that evaluates software product quality. ISO 25000 replaces ISO/IEC 9126 and ISO/IEC 14598 standards. Some authors describe the relationship between quality measures of ISO/IEC 9126 and the requirements and software system states of the Semat Essence kernel. Also, they redefine the completion criteria of the activity spaces related to these alphas. Other proposals include a schematic relationship between ISO/ IEC 9126 quality measures and the alpha states, but they avoid their correlation and some criteria for evaluating the product quality. Other proposals based on the ISO/IEC 25000 comprise other frameworks than Semat. Our proposal is focused on the selecting the appropriate measures of the software system states to structure the relationships between them, validate them by using a case study, and develop a model for product quality measurement. The results are promising since we can use them to establish a coherent and structural model for evaluating the software system alpha's health and progress.

There is a rapidly increasing amount of Artificial Intelligence (AI) systems developed in recent years, with much expectation on its capacity of innovation and business value generation. However, the promised value of AI systems in specific business contexts might not be understood, and further integrated into the development processes. We wanted to understand how software engineering processes and practices can be applied to develop AI systems in a fast-faced, business-driven manner. As the first step, we explored contextual factors of AI development and the connections between AI developments to business opportunities. We conducted 12 semi-structured interviews in seven companies in Brazil, Norway and Southeast Asia. Our investigation revealed different types of AI systems and different AI development approaches. However, it is common that business opportunities involving with AI systems are not validated and there is lack of business-driven metrics that guide the development of AI systems. The findings have implications for future research on business-driven AI development and supporting tools and practices. peerReviewed

A theory is a common conceptual framework for structuring and organizing phenomena and knowledge in a concise and precise way. Electronic engineering endeavor (EEE) is the phenomenon in which a team solves an electronic system according an opportunity. Practitioner support such phenomenon by interest theories of endeavor mainly describing it in textual form and with partial coverage. Such descriptions address EEE approach, general management approach, and EEE analogous field approach like software engineering. Despite the availability of such theories, people report problems related to the endeavors and EEE in the state of the art. In studies of this field, authors reveal that most of the projects evaluated are delayed or canceled. Such difficulties are related to changes or breaches in scope, cost overruns, delays and endeavor cancellation. Some authors analyze causes of challenges and they attribute them to an EEE immature understanding and a lack of a general knowledge representation mechanism of EEE. Such authors declare the need for improving the theory related to such phenomenon and having better tools to deal with it. In this PhD Thesis we propose an EEE Conceptualization, an Endeavor Theory, and its application to EEE to produce the theoretical model of electronic engineering development processes, identifying their premises, constructs, and propositions. We use a method consisting of a literature review, EEE conceptualization, conceptual verifications, expert judgment, and synthesis of theories. We validate this PhD Thesis with one case study carried out in research and development center. This PhD Thesis is a first common language approximation improving communication between professionals, covering the aforementioned approaches, including improvement and unification in a formal description with terminological coherence. Description has a quantitative intrinsic interpretation and a qualitative facilitating its adoption, compatible with the state of the art. This PhD Thesis is a thinking framework and a general knowledge representation mechanism of EEE, scalable to other domains particularly to software engineering and Essence standard, and a contribution to a better understanding and performance of endeavor and EEE. Una teoría es un marco conceptual común para estructurar y organizar fenómenos y conocimiento de manera concisa y precisa. El esfuerzo de ingeniería electrónica (EIE) es el fenómeno en el que un equipo soluciona un sistema electrónico (SE) de acuerdo con una oportunidad. Este fenómeno se sustenta en teorías de interés para el esfuerzo, que se describen principalmente de forma textual y con cobertura parcial. Tales descripciones se abordan en el enfoque del EIE actual, el enfoque general de gestión y el enfoque de sectores análogos al EIE como la ingeniería de software. A pesar de la disponibilidad de estas teorías, en la literatura se evidencian problemas en los esfuerzos y EIE. En estudios relacionados con este sector se revela que la mayoría de los proyectos evaluados se retrasan o se can-celan. Tales dificultades se relacionan con cambios o incumplimientos del alcance, sobrecostos, retrasos y cancelaciones del esfuerzo. Algunos autores analizan las causas de las dificultades y las atribuyen a una comprensión inmadura del EIE y a la carencia de un mecanismo de representación general del conocimiento del EIE. Estos autores declaran la necesidad de mejorar la teorización relacionada con el fenómeno y de disponer de mejores herramientas para abordarlo. En esta Tesis Doctoral se propone una Conceptualización del EIE, una Teoría del Esfuerzo y su aplicación al EIE para producir el Modelo teórico del proceso de desarrollo de ingeniería electrónica, identificando sus premisas, constructos y proposiciones. El método que se utiliza se basa en una revisión de literatura, la Conceptualización del EIE, verificaciones conceptuales, verificaciones por juicio de expertos y síntesis de teorías. Esta Tesis Doctoral se valida con un caso de estudio del EIE en un centro de investigación y desarrollo. Como resultado de esta Tesis Doctoral se propone una primera aproximación a un lenguaje común para mejorar la comunicación entre profesionales, abarcando los enfoques antes mencionados e incluyendo mejoras unificadas en una descripción formal con coherencia terminológica. La descripción tiene una interpretación intrínseca cuantitativa y una cualitativa para facilitar su adopción, compatible con lo que se expresa en la literatura. La Tesis Doctoral es un marco de pensamiento y un mecanismo de representación general del conocimiento del EIE, extensible a otros dominios y en particular a la ingeniería de software y al estándar de la Esencia, contribuyendo a una mejor comprensión y desempeño del esfuerzo y del EIE. Modelo teórico del proceso de desarrollo de ingeniería electrónica Doctor en Ingeniería—Sistemas e Informática

Interoperability is a software quality property related to the information exchange among software systems with heterogeneous characteristics. Interoperability is developed in levels—e.g., technical, syntactic, semantic, and organizational. Interoperability involves essential elements and propositions—i.e., relationships between the essential elements—which can be identified and stated as a theory. Some proposals are intended to formalize interoperability by using common frameworks, common models, and meta-models. Common framework proposals include a set of concepts, practices, and criteria focused on identifying and solving interoperability problems. Common models are intended to represent in some way the interoperability, aiming to understand, describe, and control it. Meta-model proposals include models of interoperability problems. Additionally, systematic literature reviews are intended to agree empirical evidence about interoperability. Previous work fails in proposing a theory due to four main reasons: (i) a disunified terminology about interoperability is used; (ii) essential elements of interoperability are unidentified; (iii) interoperability principles are left aside; and (iv) a general view of interoperability is unreached. In this Ph.D. Thesis we propose a theory about interoperability among heterogeneous software systems. First, we unify the interoperability terminology and we recognize seven essential elements for unifying interoperability vocabulary. Then, we state the propositions associated to such essential elements for explaining interoperability. Essential elements and propositions are represented on the Semat (Software Engineering Method and Theory) Essence kernel, since it has a set of essential elements related to software engineering and a simple language for describing such elements. We also exemplify some of the propositions. The validation of the theory is carried out in two ways (1) expert consultation and (2) application of the propositions to some scenarios. The proposed theory helps to unify terminology about interoperability by identifying seven essential elements, stating the propositions for explaining how interoperability happens, and explaining how to achieve interoperability by using the minimal defined set of elements. Resumen: La interoperabilidad es una propiedad de calidad del software asociada con el intercambio de información entre sistemas de software que poseen características heterogéneas. La interoperabilidad se desarrolla en niveles, es decir, técnica, sintáctica, semántica y organizacional. La interoperabilidad involucra elementos esenciales y proposiciones (relaciones entre los elementos esenciales) los cuales se identifican y declaran en una teoría. El objetivo de algunas propuestas es formalizar la interoperabilidad usando marcos comunes, modelos comunes y metamodelos. Las propuestas de marcos comunes incluyen un conjunto de conceptos, prácticas y criterios que se enfocan en la identificación y solución de problemas de interoperabilidad. Los modelos comunes son representaciones que se usan para entender, describir y controlar la interoperabilidad. Los metamodelos se usan para representar modelos de los problemas de interoperabilidad. Adicionalmente, algunas revisiones sistemáticas de la literatura se usan para recolectar evidencia empírica acerca de la interoperabilidad. Las propuestas anteriores presentan dificultades al proponer una teoría debido a cuatro razones principales: (i) usan una terminología desunificada sobre la interoperabilidad; (ii) desconocen los elementos esenciales de interoperabilidad; (iii) dejan de lado los principios de la interoperabilidad; y (iv) tienen una vista parcial de la interoperabilidad. En esta Tesis de Doctorado se propone una teoría de la interoperabilidad entre sistemas de software heterogéneos. Primero, se unifica la terminología sobre interoperabilidad y se reconocen siete elementos esenciales. Luego, se declaran las proposiciones asociadas con cada elemento esencial para explicar la interoperabilidad. Los elementos esenciales y las proposiciones se representan en el núcleo de Semat (Software Engineering Methods and Theory), que proporciona un lenguaje con elementos esenciales asociados con la ingeniería de software. También se presentan ejemplos de algunas de las proposiciones. Como validación de la teoría se proponen dos métodos: validación con expertos y aplicación de las proposiciones en algunos escenarios. La teoría propuesta permitirá unificar la terminología acerca de la interoperabilidad, identificar siete elementos esenciales, declarar las proposiciones para explicar como sucede la interoperabilidad y como se logra la interoperabilidad mediante el uso de los elementos esenciales identificados. Doctorado

Semat es una iniciativa desarrollada para refundar la ingeniería de software como una disciplina rigurosa basada en una teoría sólida, principios probados y mejores prácticas. La norma ISO/IEC 25000 (SQuaRE) es un estándar internacional que permite evaluar la calidad del producto de software, sustituyendo a las normas ISO/IEC 9126 e ISO/IEC 14598. En algunos estudios se relacionan implícitamente las características y métricas de la calidad de las normas ISO/IEC 9126 e ISO/IEC 25000 con los estados del alfa sistema de software del núcleo de Semat. En otros proyectos se muestra una relación esquemática entre las características, sub-características y medidas de calidad de las normas ISO/IEC 9126 e ISO/IEC 25000 y los estados de los alfas, pero no existe relación explicita entre las características y medidas con cada uno de los estados del alfa sistema de software del núcleo de la Esencia de Semat. Teniendo como base estos hallazgos, en esta Tesis de Doctorado se plantea la elaboración de un modelo para la medición del progreso del alfa sistema de software del núcleo de Semat con base en las normas ISO/IEC 2502n e ISO/IEC 2504n. La propuesta se centra en la selección de las medidas adecuadas de los estados del alfa sistema de software para estructurar las relaciones entre ellos, validando su aplicación usando la metodología de caso de estudio con una empresa desarrolladora de software y desarrollando un modelo para la medición de la calidad del producto. Los resultados son prometedores, ya que se puede usar para establecer un modelo coherente y estructural para evaluar la salud y el progreso del alfa sistema de software en un esfuerzo en ingeniería de software. Abstract: Semat is an initiative developed for refounding the software engineering by defining a theoretical basis, best practices, and a set of widely-agreed elements. ISO/IEC 25000 (System and Software Quality Requirements and Evaluation-SQuaRE) is an international standard, which allows for evaluating the software product quality. ISO 25000 replaces ISO/IEC 9126 and ISO/IEC 14598 standards. Quality characteristics and measures of ISO/IEC 25000 and ISO/IEC 9126 standards are implicitly related to software system states of the Semat kernel in some studies. In other projects, a schematic relationship between ISO/IEC 9126 and ISO/IEC 25000 quality characteristics, sub-characteristics and measures is shown, but they lack explicit relationship between measures and characteristics with each one of the software system states of the Semat Essence. According to the aforementioned findings, in this PhD thesis we propose the development of a model for measuring software system alpha progress based on the ISO/IEC 2502n and the ISO/IEC 2504n standards. This PhD thesis is focused on the selection of the appropriate measures of the software system states in order to structure the relationships between them, validating them by using a case study methodology related to a software development company, and developing a model for product quality measurement. The results are promising since we can use them to establish a coherent and structural model for evaluating health and progress of the software system alpha of a software engineering endeavour. Ph.D. en Ingeniería—Sistemas e Informática - Línea de Investigación: Ingeniería de Sistemas Doctorado

Los Sistemas de Información Geográfica (SIG) son sistemas de información que se utilizan para modelar, analizar y geovisualizar geodatos, buscando mejorar la comprensión en diversas áreas del conocimiento como la gestión del medio ambiente, del territorio, de riesgos y de mercados. Las buenas prácticas son métodos que contienen actividades repetitivas y observables identificadas como una base sólida de factores de éxito con resultados eficaces y eficientes en los procesos productivos de diversos contextos. Semat (Software Engineering Method and Theory) es una iniciativa que ayuda a identificar buenas prácticas y los elementos esenciales, comunes y universales a todos los esfuerzos de ingeniería de software. Algunos métodos que se emplean en el desarrollo de sistemas de información geográfica son: Método de Desarrollo del Instituto Geográfico Agustín Codazzi (MDS-IGAC), Desarrollo e Implementación de un Sistema de Información Geográfica del Campus Físico de la Universidad del Quindío (DISIG-CF), el Método de desarrollo SIG Y-Model Web (Y-Model Web GIS Development Methodology, YWDM) y los métodos propuestos por las organizaciones Environmental Systems Research Institute (ESRI), Urban and Regional Information Systems Association (URISA) y State Archives and Records Administration (SARA). Existen otros métodos que dependen del área de conocimiento de los geousuarios y de los proyectos SIG. Estos métodos SIG tienen buenas prácticas enfocadas en el Project Management Body of Knowledge (PMBOK®) y en los métodos de desarrollo de software tradicionales como Rational Unified Process (RUP®). En consecuencia, se presentan dificultades en la utilización de estos métodos porque están incompletos, tienen problemas con las competencias de los geousuarios y la complejidad de los geodatos. Por lo anterior, en esta Tesis de Doctorado se propone la definición de una representación basada en el núcleo de la Esencia de Semat de los métodos de desarrollo de SIG, identificando buenas prácticas para mejorar el ciclo de desarrollo de los proyectos SIG. La representación permitirá identificar un terreno común de las cosas que se deben atender en los proyectos SIG para mejorar la planeación, evaluar el progreso y conformar un lenguaje común entre los geousuarios. Abstract: Geographic information systems (GIS) are information systems that using for modeling, analyzing, and geovisualizating geodata. GISs are intended to improve the understanding of several knowledge areas such as environment management, territory management, risk management, and marketing management. Best practices are methods that contain repetitive and observable activities methods that contain repetitive and observable activities identified from a solid base of success factors with effective and efficient results in the productive processes of several contexts. Semat (Software Engineering Method and Theory) is an initiative for helping to identify best practices and essential, common, and universal elements to all software engineering endeavors. Some methods used in geographic information systems development are: Development Methodology of the Instituto Geográfico Agustín Codazzi (MDS-IGAC), Development and Implementation of a Geographic Information System of the Physical Campus of the Universidad del Quindío (DISIG-CF), Y-Model Web GIS Development Methodology (YWDM), and the methods proposed by organizations Environmental Systems Research Institute (ESRI), Urban and Regional Information Systems Association (URISA), and State Archives and Records Administration (SARA). Other GIS methods depend on the knowledge area of the geouser and the GIS project type. Such GIS methods have best practices focused on the Project Management Body of Knowledge (PMBOK®) and well-known software development methods such as Rational Unified Process (RUP®). Consequently, some difficulties arise when using GIS methods because GIS methods are incomplete, and they exhibit problems with geouser competencies, and complexity of geodata. Therefore, in this PhD Thesis, we define a representation based on the Semat Essence kernel about GIS development methods by identifying best practices to improve the development cycle of GIS projects. This representation will allow for identifying a common ground of the things should be attended in GIS projects in order to improve the planning, evaluate the progress, and form a common language among geousers. Doctorado

La comunidad Semat (Software Engineering Method and Theory) se enfoca en dos objetivos principales: definir un núcleo de elementos que describan la Esencia de la ingeniería de software y definir una teoría general para la disciplina. Toda teoría general bien definida incluye constructos teóricos, proposiciones, explicaciones y alcance de la teoría. Los constructos teóricos son los conceptos básicos de un dominio en particular y constituyen el vocabulario de la teoría general. En ingeniería de software existen intentos para definir un vocabulario unificado. Sin embargo, las definiciones que se proponen no aportan información suficiente para definir constructos teóricos que son base de una teoría general. Definir un vocabulario unificado es particularmente complejo en ingeniería de software, debido a que existen micro-teorías con constructos teóricos de uso común que tienen definiciones diversas, como es el caso de la práctica. En diferentes propuestas de ingeniería de software, desde su particularidad, se define la práctica ignorando otras visiones, es decir, presentan definiciones no unificadas. También, se define la práctica de manera ambigua, ya que otros constructos teóricos incluidos en un esfuerzo de ingeniería de software pueden cumplir también con la definición de práctica y las prácticas que se proponen se nombran de forma inadecuada. Aunque en ingeniería de software existen esfuerzos enfocados en la definición de práctica, aún no se logra una definición unificada y carente de ambigüedad. En esta Tesis Doctoral se consolida un modelo para la definición unificada y carente de ambigüedad de la práctica como constructo teórico en ingeniería de software. Los constructos teóricos y las proposiciones que sirven para caracterizar la práctica se identifican a partir del análisis de prácticas de diferentes enfoques y se integran en los componentes del modelo. Cada componente permite cumplir funciones específicas que se orientan a definir prácticas bien formadas y nombradas. El modelo que se obtiene como resultado de esta Tesis Doctoral es una contribución a la definición de una teoría general y, específicamente, a la construcción de un vocabulario unificado para la ingeniería de software, ya que permite definir de manera unificada y carente de ambigüedad el constructo teórico de práctica. El modelo se valida mediante la consulta a expertos de la comunidad de ingeniería de software. En la validación se realizan análisis cualitativos y cuantitativos que permiten identificar las oportunidades de mejora y el nivel de aceptación del modelo para los expertos evaluadores. Abstract: The Semat—Software Engineering Method and Theory—community focus on two main objectives: defining a kernel of elements for describing the Essence of software engineering and defining a general theory for such a discipline. All well-defined general theories include theoretical constructs, propositions, explanations, and scope. Theoretical constructs are the basic concepts of a specific domain and they constitute the vocabulary of the general theory. Some authors try to define a unified vocabulary in software engineering. However, the proposed definitions lack enough information for defining theoretical constructs, which are the basis of a general theory. Defining a unified vocabulary is particularly complex in software engineering, since micro-theories commonly include theoretical constructs involving different definitions; practice is one of such constructs. Practice is particularly defined in different proposals of software engineering regardless of other visions, i.e., such proposals include non-unified definitions. Also, practice is ambiguously defined, since other theoretical constructs included in a software engineering endeavor can also comply with the definition of practice, and such proposed practices are inappropriately named. Although some software engineering endeavors are focused on the definition of practice, a unified and unambiguous definition is still absent in this regard. In this Ph.D. Thesis we consolidate a model of the unified and unambiguous definition of practice as a theoretical construct in software engineering. Theoretical constructs and propositions for characterizing the practice construct are identified from the analysis of practices from different approaches; such constructs and propositions are integrated into the components of the model. Each component allows for fulfilling specific functions oriented to define well-formed, well-named practices. The model obtained as a result of this Ph.D. Thesis is a contribution to the definition of a general theory. Specifically, we want to contribute to the construction of a unified vocabulary of software engineering, since we define the theoretical construct of practice in a unified, unambiguous way. We validate the model by consulting experts from the software engineering community. In the validation, we develop qualitative and quantitative analysis with the collected information for identifying the opportunities for improvement and the level of acceptance of the expert evaluators. Doctorado

La ingeniería de software es un área del conocimiento en la que el ingeniero debe conjugar competencias técnicas y sociales en su ejercicio profesional. De hecho, las competencias sociales relacionadas con habilidades de comunicación, orientación al logro y liderazgo, entre otros, resultan críticas para la ejecución de proyectos de desarrollo de software exitosos. Este hecho, sumado a una creciente demanda de productos de software en diversos sectores como gobierno, banca o medicina, da lugar a una línea de investigación conocida como educación en ingeniería de software. Esta línea de investigación busca lograr un balance entre teoría y práctica en la formación de ingenieros de software. Como respuesta a estas oportunidades, aparece una serie de estrategias de enseñanza de ingeniería de software con este propósito. Entre estas estrategias se encuentran el aprendizaje basado en proyectos, el aprendizaje basado en problemas y el aprendizaje colaborativo, entre otros. Sin embargo, en la búsqueda de experiencias de enseñanza de ingeniería de software que incorporen estas estrategias, se identifica que éstas se describen de manera subjetiva, lo que dificulta que el docente de ingeniería de software: (1) seleccione la estrategia adecuada para presentar una temática de ingeniería de software particular y (2) defina los elementos que acompañan la estrategia de enseñanza tales como: objetivos de aprendizaje, recursos de apoyo, actividades de aprendizaje y método de evaluación. En la presente Tesis de Doctorado se formula una teoría general para la enseñanza de ingeniería de software (SETMAT, por sus siglas en inglés) que busca apoyar al docente en la selección de estrategias de enseñanza de ingeniería de software. Esta teoría se compone de los conceptos y relaciones más relevantes del dominio de enseñanza de ingeniería de software que se identificaron en la revisión de experiencias previas e incorpora las competencias que se espera promover en los estudiantes según los diferentes roles de un equipo de desarrollo de software. Adicionalmente, la validación de esta teoría consiste en la representación de prácticas de enseñanza de cursos de ingeniería de software de dos entornos universitarios diferentes, así como sesiones de trabajo con docentes de ingeniería de software, quienes hacen uso de la teoría para representar y compartir sus estrategias de enseñanza. A partir de lo anterior, esta teoría posibilita la representación de prácticas de enseñanza de ingeniería de software y permite a los docentes definir los elementos mínimos que acompañan cualquier estrategia de enseñanza de esta área, así como comparar y transferir estas estrategias de una manera más efectiva, entendiendo una estrategia de enseñanza como un conjunto de prácticas de enseñanza con un propósito específico. Abstract: Software engineering is a knowledge area in which the engineer must merge technical and social competencies in his/her professional practice. In fact, social competencies related to communication skills, achievement orientation, and leadership, among others, are critical for executing successful software development projects. Such a fact and the growing demand of software products in several sectors—government, banking, medicine, etc—leads to the so-called research line software engineering education. This research line is intended to achieve a balance between theory and practice in software engineering education. Looking for an answer to such situation, several software engineering teaching strategies are used for achieving such balance. Project-based learning, problem-based learning, and collaborative learning are some of such strategies. However, experiences of software engineering teaching including such strategies are described subjectively, make difficult to the software engineering teacher: (1) selecting the appropriate strategy for presenting a particular software engineering content and (2) defining the elements linked to the teaching strategy such as: learning objectives, support resources, learning activities, and evaluation method. In this PhD dissertation, we formulate a general theory for software engineering teaching, which is called SETMAT (Software Engineering Teaching Methods And Theory). SETMAT comprises concepts and relations relevant to the software engineering teaching domain. Such concepts and relations—identified during the review of previous experiences—incorporate the competencies that students expect to acquire, according to different roles of a software development team. Additionally, we validate this theory by representing teaching practices from software engineering courses belonging to two different university environments. We also define working sessions with software engineering teachers whom use the theory for representing and sharing their teaching strategies. By formulating this theory, we enable the representation of software engineering teaching practices and allow teachers for defining the minimal elements of any teaching strategy in this area. We also allow for comparing and transfering their strategies in a more effective way, understanding a teaching strategy as a set of teaching practices with a specific purpose. Doctorado

Las prácticas de ludificación son estrategias y elementos característicos de los juegos aplicados en contextos que no son recreativos, con el fin de motivar, incrementar la productividad, lograr objetivos o afianzar el aprendizaje. Los juegos serios son formas de interacción que se diseñan con una intención adicional a la de sólo entretener. La ingeniería del software no es ajena al uso de dichas prácticas y su uso refleja actividades repetitivas, sugiriendo la existencia de patrones en su implementación. SEMAT (Software Engineering Method and Theory) es un estándar en la ingeniería de software que provee un lenguaje para representar métodos y prácticas. Diferentes autores definen representaciones de las prácticas de ludificación con diversos propósitos: definir los roles y responsabilidades involucrados, identificar sus elementos y permitir la simulación de dichas prácticas en escenarios virtuales. Algunas de estas representaciones se limitan a una determinada etapa o método del proceso de desarrollo de software y no reflejan el comportamiento de algunos elementos característicos de las estrategias de ludificación. Para solucionar los problemas enunciados, en esta Tesis de Maestría se propone una representación en el núcleo de SEMAT de las prácticas de ludificación usadas en la ingeniería del software: valoración cuantitativa de tareas y entrega de recompensas basadas en objetivos. Esta representación refleja las características que tienen en común las prácticas de ludificación en la ingeniería de software, permitiendo clasificar y comparar dichas prácticas, así como aplicarlas en los distintos métodos de desarrollo de software. Abstract: Gamification practices are strategies and elements of games to be applied in non-gaming contexts. Such strategies are intended to motivate, raise productivity, achieve goals, and improve learning processes. Serious games are ways to interact designed for entertainment and other purposes. Such practices can be also used in software engineering. Such usage reflects repetitive activities and exhibits patterns inside practice implementations SEMAT (Software Engineering Method and Theory) is a software engineering standard which provides a language for representing methods and practices Some authors represent gamification practices in order to define roles, responsibilities, and other elements for simulating such practices on virtual environments. Some representations are limited to specific activities or methods within software development processes and avoid behaviors of some characteristic elements inside gamification strategies. As a way to solve these problems, in this Master Thesis—by using the SEMAT Kernel—we propose a representation for gamification practices used in software engineering: quantitative task assessment and goal-based reward allocation. This representation exhibits common features gamification practices have within software development. This representation allows for classifying an comparing such practices and applying them on different software development methods Maestría

Project management is a discipline for gathering knowledge, capabilities, tools, and tech-niques in order to control the environment where projects run. Project management bodiesof knowledge (BOKs) and standards are defined for codifying the project management theory.However, BOKs and standards are discipline-dependent, so they fail in covering all dimen-sions project-driven disciplines involve. Problems associated with dimension coverage relyon codifying a generalized project management theory to be applied along project-drivendisciplines. Thus, codifying a project management multidisciplinary theory is considered achallenging task. Some authors claim a holistic view towards project management allows usfor identifying general codifying patterns of a multidisciplinary theory. Accordingly, in thisM.Sc. Thesis we propose some constructs for defining a project management multidiscipli-nary theory. We aim to identify a common structure among project management BOKs andstandards. We define such a structure as a kernel for covering a project management multidis-ciplinary theory. Particularly, we focus on introducing into project management discipline anapproach based on Abstract Level Progress Health Attributes—such approach has its originsin Semat (Software Engineering Method and Theory), an initiative for defining a theory forsoftware engineering. By introducing such approach, we allow practitioners for tracking pro-ject health, so they can identify and control project dimensions requiring special attentionwhen running a project. So, project success likelihood can be incremented. Furthermore,we allow for covering all dimensions project-driven disciplines involve, so we can connectproject-driven disciplines by using a multidisciplinary kernel. Finally, we present an analyticapproach for validating the kernel by comparing it to other project management BOKs andstandards, so we can demonstrate the multidisciplinary kernel covers all dimensions projectmanagement discipline involves. Furthermore, we introduce a way for representing projectmanagement practices based on the kernel defined in this M. Sc. Thesis. Maestría

Essence is a standard for working with methods in software engineering. As such, it can be seen as the reference architecture for software engineering. The Essence consists of the Kernel, and a notation called the Language. This representation is not widely known and likely hinders the adoption of the Essence. This paper represents the work-in-progress of representing the Essence using ArchiMate, the de facto notation for enterprise architecture. Our purpose is to help organisations to adopt Essence by representing it in the language already understood by different stakeholders. peerReviewed

Software Engineering is an engineering discipline but lacks a solid theoretical foundation. One effort in remedying this situation has been the SEMAT Essence specification. Essence consists of a language for modeling Software Engineering (SE) practices and methods and a kernel containing what its authors describe as being elements that are present in every software development project. In practice, it is a method agnostic project management tool for SE Projects. Using the language of the specification, Essence can be used to model any software development method or practice. Thus, the specification can potentially be applied to any software development context, making it a powerful tool. However, due to the manual work and the learning process involved in modeling practices with Essence, its initial adoption can be tasking for development teams. Due to the importance of project management in SE projects, new project management tools such as Essence are valuable, and facilitating their adoption is consequently important. To tackle this issue in the case of Essence, we present a game-based approach to teaching the use Essence. In this paper, we gamify the learning process by means of an innovative board game. The game is empirically validated in a study involving students from the IT faculty of University of Jyv\"askyl\"a (n=61). Based on the results, we report the effectiveness of the game-based approach to teaching both Essence and SE project work.

Software Engineering as an industry is highly diverse in terms of development methods and practices. Practitioners employ a myriad of methods and tend to further tailor them by e.g. omitting some practices or rules. This diversity in development methods poses a challenge for software engineering education, creating a gap between education and industry. General theories such as the Essence Theory of Software Engineering can help bridge this gap by presenting software engineering students with higher-level frameworks upon which to build an understanding of software engineering methods and practical project work. In this paper, we study Essence in an educational setting to evaluate its usefulness for software engineering students while also investigating barriers to its adoption in this context. To this end, we observe 102 student teams utilize Essence in practical software engineering projects during a semester long, project-based course., Preprint submitted and accepted to the 2018 International Conference on Product-Focused Software Process Improvement (PROFES2018)

This paper presents disciplines for designing actor network of Product-Service Systems by visualizing state changes in design process and indicating tasks for state transitions. While IT vendors co-design new services with their clients, sporadic requirements and constraints may leave target users and business partners unsettled in the conceptual IT service system. IT vendors design a hypothetic service system and check it continuously through ad hoc workshops. They gradually identify such actors from possible groups of people, though this design procedure is still improvisational. A set of states and tasks is described indicating what PSS designers need to do next with possible actors, instilling correct disciplines for establishing relationships between them.

Product-Service Systems (PSS) has been regarded as an attractive business concept that create high added value by integrated provisions of products and services.Since both products and services are included in the design object, the PSS design process has become increasingly complicated. Thus, the designers need to organize reliably what they should accomplish during the PSS design process. However, it is difficult for designers to grapple what they need to focus on during PSS design process. To support such PSS design process, this paper proposes a PSS design guideline which based on Software Engineering Methods and Theory (SEMAT). The proposed guideline provides the designerswithPSS design perspective, milestones through the design process, and the way to manage the design process.

El manifiesto ágil busca un balance entre la satisfacción del cliente, las entregas tempranas y continuas de producto funcionando y la adaptación al cambio. El manifiesto ágil contiene cuatro valores y 12 principios que guían los métodos de desarrollo ágil de software y se plantea como una alternativa a los métodos basados en planes. Semat (Software Engineering Method and Theory) es una iniciativa que nace como respuesta a un llamado a la acción para resolver muchos problemas que se tienen en la ingeniería de software, como la carencia de una base teórica sólida, la separación de la industria y la academia y la carencia de evaluación y validaciones experimentales creíbles. Como resultado de la iniciativa se propone un estándar para poder representar cualquier esfuerzo de la ingeniería de software en un terreno común, con elementos ampliamente aceptados, validados y que se pueden extender a usos específicos. Con el creciente uso de los métodos ágiles de desarrollo, varios autores intentan aplicar los principios del manifiesto a diferentes campos como el desarrollo de sistemas embebidos, el proceso de líneas de productos de software o la transición de métodos tradicionales a métodos ágiles. En estas aplicaciones se evidencia que los principios del manifiesto ágil se aplican de forma subjetiva, ya que se enuncian en lenguaje natural y no se representan en un lenguaje formal y estándar en la ingeniería de software y, debido a su falta de representación en un terreno común de la ingeniería de software, son difíciles de llevar del contexto de desarrollo ágil a otros diferentes contextos. En esta Tesis de Maestría se propone una representación de los 12 principios del manifiesto ágil, haciendo uso de los elementos del núcleo de Semat y, así, poder representarlos en un terreno común, para que se puedan implementar en diferentes contextos, restando subjetividad a los principios y pudiendo evaluar diferentes prácticas y métodos respecto de los principios del manifiesto ágil. Dado que el núcleo de Semat carece de mecanismos para expresar restricciones, se propone una nueva sintaxis basada en OCL (en inglés, lenguaje de restricción de objetos). Además, se propone una validación por medio de representaciones en Semat existentes sobre métodos ágiles de desarrollo. Abstract: Agile Manifesto is intended to balance customer satisfaction, early and continuous delivery of working software, and adaptation to change. Agile Manifesto comprises four values and 12 principles for guiding agile software development methods as an alternative to plan-based methods. Semat (Software Engineering Method and Theory) is a ninitiative created to answer a call for action for solving several problems software engineering has —e.g., the lack of widely accepted theoretical basis, the gap between industry practice and academic research, and the lack of credible experimental assessment and validation. As a result of such initiative, its authors propose a standard for representing any software engineering endeavor in a common ground, with validated, widely-agreed elements, and extensible for specific usages. The growing use of agile development methods leads to some authors to use agile manifesto principles in several ields—e.g., development of embedded systems, software product lines, and translation of traditional methods into agile methods. As evidenced by such usage, the agile manifesto principles are subjectively applied—since they are specified in natural language instead of a formal, standard software engineering language—, and they are difficult to insert into the agile development context—since they lack a software engineering common ground representation. In this M.Sc.Thesis, we propose a representation of the 12 agile manifesto principles by using the Semat Essence kernel elements . We aim to represent such principles in a common ground to be implemented in different contexts and avoid subjective interpretation . We also aim to assess different practices and methods regarding the agile manifesto principles. We propose a new syntax based on OCL (Object Constraint VIII Representación de los principios del manifiesto ágil en el núcleo de Semat. Título de la tesiso trabajo de investigación Language) for the Semat kernel, since it lacks mechanisms for restrictions. We also propose a validation based on current Semat based representations of agile development methods Maestría

Interoperability among heterogeneous software systems is a software quality sub-characteristic. Some methods for dealing with interoperability exhibit differences in aspects like generality, development method, and work products, among others. However, some authors understand interoperability as a non-functional requirement with general-purpose practices for identifying and specifying such requirement. Other authors assess and achieve interoperability by using work products falling beyond defined practices. Consequently, in this paper we propose four best practices in order to accomplish interoperability among heterogeneous software systems. Our best practices are represented with the Semat (Software Engineering Method and Theory) kernel, since it includes a language with simple and precise elements. Definition of interoperability best practices enables unification of the effort focused on software systems interoperability. Resumen La interoperabilidad entre sistemas de software heterogéneos es una subcaracterística de la calidad del software; existen varios métodos que la abordan, los cuales se diferencia en aspectos como la generalidad, la metodología de desarrollo y los productos de trabajo, entre otros; sin embargo, en algunos de estos métodos la interoperabilidad se maneja como un requisito no funcional que se identifica y se especifica mediante prácticas generales. En otras propuestas la interoperabilidad se evalúa y se alcanza mediante la elaboración de productos de trabajo que no se enmarcan en prácticas definidas. En este artículo se proponen cuatro buenas prácticas para abordar la interoperabilidad de sistemas de software heterogéneos, las cuales se representan mediante los elementos del núcleo de Semat (Teoría y Método de la Ingeniería de Software), que proporciona un lenguaje con elementos claros y sencillos. La definición de buenas prácticas de interoperabilidad permite unificar los esfuerzos enfocados en el logro de la interoperabilidad de los sistemas de software. Resumo A interoperabilidade entre sistemas de software heterogêneos é una subcaracterística da qualidade do software; existem vários métodos que a abordam, os quais se diferenciam em aspectos como a generalidade, a metodologia de desenvolvimento e os produtos de trabalho, entre outros; porém, em alguns destes métodos a interoperabilidade administra-se como um requisito não funcional que se identifica e se especifica mediante práticas gerais. Em outras propostas a interoperabilidade avalia-se e alcança-se mediante a elaboração de produtos de trabalho que não se enquadram em práticas definidas. Neste artigo propõem-se quatro boas práticas para abordar a interoperabilidade de sistemas de software heterogêneos, as quais são representadas mediante os elementos do núcleo do Semat (Teoria e Método da Engenharia de Software), que proporciona uma linguagem com elementos claros e simples. A definição de boas práticas de interoperabilidade permite unificar os esforços focalizados na conquista da interoperabilidade dos sistemas de software.

CMMI para Desarrollo (CMMI-DEV) consta de buenas prácticas que tratan las actividades de desarrollo aplicadas a productos y servicios. Las representaciones de CMMI-DEV integran elementos como áreas de procesos, metas específicas y genéricas y prácticas específicas y genéricas. Sin embargo, estas representaciones aún subespecifican componentes como práctica, subprácticas y ejemplos de productos de trabajo. Además, no muestran lo particular de cada área, pues se basan en los aspectos generales de CMMI-DEV. Varios esfuerzos por representar los procesos de CMMI para mapearlos con otros procesos de la ingeniería de software se limitan a representar puntos en común, dado que los métodos utilizados no proporcionan una cobertura completa de CMMI-DEV, pues no se usa un estándar para esas representaciones. Semat (Software Engineering Method and Theory) generaliza la ingeniería de software identificando acciones y elementos universales, que se describen mediante un lenguaje sencillo y universal que permite la descripción de los métodos y prácticas. En esta Tesis de Maestría se realiza una representación de las prácticas del área de proceso desarrollo de requisitos en el núcleo de Semat. Adicionalmente, se propone la validación de la representación mediante un caso de laboratorio. Abstract: CMMI for Development (CMMI-DEV) includes a set of best practices for addressing development activities applied to products and services. CMMI - DEV representations integrate elements like process areas, specific and generic goals, and specific and generic practices. However , such representations sub – specify components like practice, sub –practices , and examples of work products. Also, such representations are based on general aspects of CMMI - DEV, excluding some particular aspects . Some effort has been devoted to represent CMMI processes in order to ma pping them into other processes of software engin eering , but it is limited to represent some common points , since the methods used have partial CMMI -DEV coverage . In addition , theylack standard representation. Semat (Software Engineering Method and Theory) generalizes software engineering by identifying actions and universal elements, which are described by means of a simple and universal language allow ing for describing methods and practices. In this M.Sc. T hesis we develop a representation of the practices of the Requirements Development process area by using the Semat Essence kernel. Also, we propose the validation of such representation by using a lab study Maestría

En la última década, las metodologías ágiles han sido un punto de evolución necesario en la ingeniera de software; no obstante, las compañías de desarrollo que incursionan en procesos agiles, se enfrentan a nuevos retos que combinan aspectos técnicos y sociales, particularmente concentrados en los procesos de Ingeniería de requerimientos. A partir de esto, muchas compañías han optado por fortalecer los principios ágiles con prácticas formales de ingeniería, originando procesos de desarrollo de software híbridos. Esto ha tenido resultados positivos en la competitividad, así como en la mitigación de la mayor causa de fracasos en los proyectos de ingeniería de Software. El presente trabajo, toma como referencia la guía metodológica “IMFIR-PDA” para la integración de métodos formales de ingeniería de requerimientos en procesos de desarrollo de software, bajo el modelo de SEMAT, con el objetivo de presentar los resultados de su implantación y validación, a través de la experimentación en el diseño de investigación Quasi-Experimental de tipo Post-test Design con el que se evaluará el nivel en que se logra de una forma sistemática, disciplinada, cuantificable y controlada; la ejecución de dos proyectos en entornos reales de desarrollo de software. Resultado de esto, se presentará un análisis comparativo, además de una propuesta de refinamiento para enriquecer las propiedades de la guía metodológica a partir de los resultados obtenidos. In the last decade, agile methodologies have been a necessary evolution point in software en-gineering; However, software development companies that are involved in agile processes are facing new challenges that combine technical and social aspects, particularly focused on re-quirements engineering processes. Based on that, many companies have chosen to strengthen the agile principles with formal engineering practices, resulting in hybrid software develop-ment processes. This has had positive results in competitiveness, as well as in mitigating the major cause of failures in Software Engineering projects. The present work takes as reference the methodological guide "IMFIR-PDA" for the integration of formal methods of the require-ment engineering into software development processes, under the SEMAT model, with the ob-jective of presenting the results of its implementation and validation, through experimentation in the Quasi-Experimental research design of Post-test Design type in which will be evaluated the accomplishment level in the execution of two projects in real software development envi-ronments in a systematic, disciplined, quantifiable and controlled way. As a result of this, a comparative analysis will be presented, in addition to a refinement proposal to enrich the prop-erties of the methodological guide, based on the results obtained. Magíster en Ingeniería de Sistemas y Computación Maestría

Jacobsonらによる理論に裏打ちされた実践的なソフトウェア開発方式SEMAT(Software Engineering Method and Theory)が,現代のソフトウェア工学の課題を解決する方法として注目されている.しかし,具体的な有効性については明確ではなかった.本稿では,SEMATと保証ケースの関係について考察する., Although SEMAT( Software Engineering Method and Theory) has been attracted to solve modern Software Engineering issues, the effectiveness of the method was not sufficiently clear. In this paper, the relationship between SEMAT and dependability cases is considered., IEICE Technical Report;KBSE2013-46

Esta es una traducción del artículo que se publicó en Communications of the ACM en Diciembre de 2012 bajo el título “The Essence of Software Engineering: The SEMAT Kernel” y se realiza debido a la importancia que adquiere el tema para la audiencia de hispanoparlantes, de forma que se pueda generar un acceso a lo que constituye uno de los últimos adelantos en Ingeniería de Software. Nota: Artículo publicado originalmente en Communications of the ACM, vol. 55, no. 12, december 2012, pp. 42-49. El traductor declara tener autorización de los autores para difundir la versión en español en la Revista Latinoamericana de Ingeniería de Software, sin que ello presente incompatibilidades o vulnere los derechos de Communications of the ACM.

Distributed software development (DSD) comprises some methods in which the stakeholders are distributed in several locations and/or time zones. Each method has its own language and term glossary. Consequently, development teams coming from different disciplines fail to adopt specific practices from other methods because the languages in which those methods are written and their glossaries are disjoint.In this M.Sc. Thesis, we propose representations of different DSD methods in a unified language (the SEMAT Essence kernel) with a unique glossary of terms to enable adopting specific practices and incorporating them into different methods. SEMAT is a standard since 2014. Representations are made on top of the SEMAT Essence kernel in order to take advantage of several universal elements for representing software engineering practices. Resumen: El Desarrollo Distribuido de software (DSD) consta de algunos métodos en los cuales los interesados están distribuidos geográficamente y en diferentes zonas horarias. Cada método tiene su propio lenguaje y glosario de términos por lo cual equipos de desarrollo fallan en adoptar practicas específicas de otros métodos debido a que los lenguajes y glosarios de términos en los que estos métodos están descritos no están unificados. En esta Tesis de Maestría, se proponen representaciones de diferentes métodos de DSD en un lenguaje unificado (SEMAT) con un glosario de términos único para posibilitar la adopción de prácticas específicas y su incorporación a diferentes métodos. SEMAT es un estándar desde el 2014. Las representaciones se hacen usando el núcleo Semat para aprovechar los elementos universales para representar prácticas de ingeniería de software. Maestría

En un contexto de innovación en temas de ingeniería de software, el entorno académico presenta ciertas ventajas en la enseñanza y análisis de diversas teorías sobre desarrollo de software. Allí se puede encontrar un reflejo del uso y aprendizaje de métodos de desarrollo, los cuales son muy útiles para alcanzar las metas de un proyecto. El presente trabajo se enfatizó en aspectos esenciales de una nueva iniciativa llamada SEMAT (Software Engineering Method and Theory), que sirve como marco de trabajo y de pensamiento para cualquier método de desarrollo de software, especialmente si se trata de un método ágil. Su principal lenguaje se conoce como el núcleo; el análisis realizado durante esta investigación fue evaluar si los principios, valores y prácticas en un equipo de desarrollo de software son efectivamente apoyados con herramientas adecuadas, de tal manera que se alcancen menores costos de producción, ampliación de funcionalidades y sencillez del software construido. Durante el desarrollo de la investigación se construyó la aplicación web SEMAT Manager, que fue usada por varios grupos de trabajo durante el desarrollo de un proyecto de software. Mediante esta herramienta se recolectó información para analizar el progreso y comportamiento del equipo de trabajo durante la construcción del software. Adicionalmente, se identificó y valoró el impacto del uso de SEMAT en equipos de desarrollo, y se obtuvo información útil que pueden usar empresas que quieran implementar SEMAT en combinación con algún método ágil de desarrollo. La investigación realizada se dividió en dos fases. La primera se enfocó principalmente en una revisión de herramientas existentes en el mercado que apoyan la iniciativa SEMAT, así como también sobre la construcción de la herramienta web llamada SEMAT Manager, la cual contempla varias funcionalidades para la administración de proyectos de software. SEMAT Manager permite describir un proyecto detalladamente: los productos de trabajo a generar, clientes del software, integrantes del equipo de desarrollo, herramientas a usar, una wiki para la organización del proyecto, entre otras. Adicionalmente, en SEMAT Manager se puede realizar un seguimiento y una planeación iterativa de las tareas definidas para la construcción del software; esto apoyado de una funcionalidad llamada Status Board, la cual modela el núcleo de SEMAT de una manera fácil de entender y usar. Finalmente, la herramienta tiene funcionalidades generales, como la gestión del perfil de usuario, cambio de contraseña, registro de actividades de un usuario y demás, con el fin de brindar una experiencia agradable al usuario. En la segunda fase se llevó a cabo el seguimiento a un caso de estudio con desarrolladores de software en un entorno académico, usando el núcleo del SEMAT. Dicho caso fue planificado, ejecutado, monitoreado y analizado con técnicas y procesos propios de investigación empírica en ingeniería de software. Los resultados no son generalizables, pero arrojan evidencias positivas en relación con la organización de equipos ágiles de desarrollo. Finalmente, se puede sentar un precedente en el ámbito académico para que investigadores, docentes, estudiantes y empresas de software conozcan e implementen esta iniciativa en sus proyectos de desarrollo y mantenimiento de software; así como encuentren una guía en los resultados de este proyecto. En síntesis, con los resultados de este proyecto se busca contribuir en la aplicación de nuevas formas desarrollar software en Colombia que mejoren la productividad de las empresas y la calidad de los productos generados. Maestría

Los ingenieros de software utilizan métodos para asegurar la entrega de un producto de calidad, respetando el tiempo y presupuesto planteados. La existencia de prácticas replicadas con pequeñas modificaciones y la separación entre las prácticas industriales y de investigación académica, hacen que la cantidad de métodos incremente en el tiempo. Generalmente, cuando se adopta un nuevo método para el desarrollo, los existentes se excluyen completamente sin tener en cuenta que algunas prácticas pueden ser útiles aún para el desarrollo. Un determinado método no se adapta a todo tipo de proyecto, sino que cada tipo de proyecto tiene un método que se ajusta mejor. Actualmente, el uso frecuente de las prácticas y técnicas que un método define depende de la moda o tendencia de desarrollo del momento. De acuerdo con la literatura, existen dos tipos de métodos (basados en planes y ágiles) que se diferencian por la forma de trabajo, la inversión de tiempo y la obtención de herramientas para llevar a cabo el desarrollo del software. Aun así, son métodos que comprenden prácticas similares. Semat (Software Engineering Method and Theory) es una iniciativa que responde al llamado de la acción de los métodos y la teoría de la ingeniería de software, creando un marco de pensamiento que permite la agrupación de prácticas pertenecientes a distintos métodos, conformando así una base teórica común con principios probados. Lo anterior con el fin permitir al ingeniero de software organizar sus propios métodos, utilizando las prácticas de acuerdo a las necesidades de sus proyectos. Por ello, en esta Tesis de Maestría se propone la representación en el núcleo de Semat de las prácticas de tres métodos basados en planes: Rational Unified Process (RUP), Custom Development Method (CDM) y UNC-METHOD. Así, se definen las prácticas existentes y a ellas se les agregan las actividades, roles y productos de trabajo propios de cada método, mediante la definición de los alfas, espacios de actividad y competencias requeridas. Abstract: software engineers use methods for ensuring the delivery of a quality, on-time, on-budget product. The existence of practices replicated with minor modifications and the gap between industry practices and academic research increase the number of methods over time. Commonly, when a new development method is adopted, software engineers don’t use more the practices of the previous methods. A particular method is unsuitable for all types of projects, since each project type has a method fitting best. Currently, the frequent use of the practices and techniques for defining a method depends on either fashion or development trends. Some methods based on plans and some others are agile. They differ in the way of working, the time invested on development, and the tools they use. Even so, all of the methods comprise similar practices. Semat (Software Engineering Method and Theory) is an initiative that allows grouping practices from different methods to form a base common theoretical with proven principles, thus software engineers can organizing their own methods and using practices according to the needs of their projects. Consequently, in this M.Sc. Thesis we propose the representation of practices coming from three methods based on plans-Rational Unified Process (RUP), Custom Development Method (CDM) and UNC-METHOD-by using the Semat Essence kernel. Maestría

Semat (Teoría y Método de la Ingeniería de Software, por sus siglas en inglés) es un marco de pensamiento ideado para generar una base común, agrupando mejores prácticas pertenecientes a distintos métodos, las cuales se representan en el núcleo a partir de elementos que definen los conceptos generales de la ingeniería de software. Estos elementos se encuentran descritos en la esencia de Semat con un lenguaje basado en reglas de formación, semántica operacional y sintaxis. El lenguaje gráfico consta de símbolos para algunos elementos y las relaciones entre ellos y el lenguaje textual se describe en el estilo EBNF (Extended Backus Naur Form). Ambos lenguajes se basan en un diagrama MOF (Meta Object Facility) que contiene restricciones en OCL (Object Constraint Language) para especificar condiciones que son necesarias para una definición correcta del núcleo de Semat. Aunque la esencia de Semat es un estándar del OMG, sus lenguajes presentan inconsistencias. En la literatura se encuentran trabajos cuyo enfoque es la representación gráfica de los diferentes métodos de desarrollo existentes. Sin embargo, estos trabajos se concentran en el uso de los elementos del núcleo de Semat a partir de sus definiciones y no en la verificación de la consistencia entre lenguajes o completitud de los mismos. Por esta razón, en esta Tesis de Maestría se proponen relaciones faltantes entre los dos tipos de lenguajes, restricciones en el diagrama MOF para completar la definición de algunos elementos de Semat y definiciones en lenguaje textual de elementos necesarios para obtener consistencia con la definición en lenguaje natural presentada en el estándar. La validación de las inclusiones propuestas en esta Tesis se hace mediante un estudio Delphi, el cual presenta resultados positivos y una aceptación importante en los cambios propuestos, además de la producción de artículos que manifiestan el proceso de compresión de la representación de prácticas con los elementos del núcleo y la solución dada a algunos errores de completitud en los lenguajes definidos en el estándar. Abstract: Semat (Software Engineering Method and Theory) is a thinking framework designed to generate a common ground. Semat is intended to gather best practices coming from several methods and represent them in kernel elements defining the general concepts of software engineering. Such elements are described in the essence of Semat with a rule-based training, operational semantics and syntax language. The graphical language includes symbols for some elements and relations between them meanwhile the textual language is described in the EBNF (Extended Backus Naur Form) style. Both languages are based on a MOF (Meta Object Facility) diagram containing restrictions in OCL (Object Constraint Language) to specify conditions. Such conditions are necessary for correctly defining the Semat kernel. Although Semat essence is an OMG standard, their languages have inconsistencies. Some studies of the state of the art are devoted to the graphical representation of several existing development methods. However, such studies are focused on the use of the Semat kernel elements from their definitions instead of consistency/completeness checking among languages. For this reason, in this M.Sc. Thesis is proposed the missing relations between the two kinds of languages of Semat, the restrictions on the diagram MOF necessary to complete the meaning of some elements of the kernel and the definitions of elements in textual language to achieve consistency with the definitions in language Natural presented in the standard. We validated the modifications suggested in this M. Sc. Thesis by using a Delphi study with positive results and significant acceptance to the proposed changes. Additionally we publish articles that present the graphical representation of practices with the elements of the kernel and the solution given to some errors of completeness in the languages defined in the standard. Maestría

Geographic Information Systems (GIS) give important support for analyzing and problem solving of areas like health, hydrology, engineering and territorial management. GIS method development lacks proper specifications; instead, such development results are modifications of work products, activities, and resources from traditional development methods like Rational Unified Process (RUP). Agustín Codazzi Geographic Institute (IGAC) has one GIS development methods. Semat (Software Engineering Method and Theory) is an initiative intended to capture common elements of any software development endeavor. Looking for the proper GIS development specifications, in this paper we propose a representation of the IGAC development method based on the Semat framework. We also identify the relationship between the IGAC method and RUP. We can determine—from such representation—the practices associated with the IGAC method and inherited from well-known methods Los Sistemas de Información Geográfica (SIG) constituyen un apoyo importante para el análisis y solución de problemas en áreas, como: salud, hidrología, ingeniería y gestión territorial, entre otras. El desarrollo metodológico de los SIG no incluye especificaciones propias; por el contrario, son propuestas modificadas de otros métodos, que contienen los mismos productos de trabajo, actividades y recursos de los métodos tradicionales de desarrollo, tales como el Rational Unified Process (RUP). Uno de esos métodos es del Instituto Geográfico Agustín Codazzi (IGAC). Semat (Teoría y Métodos de la Ingeniería de Software) es una iniciativa que ayuda a capturar elementos esenciales y comunes, universales a todos los esfuerzos de desarrollo de software. En busca de las especificaciones propias de los métodos de desarrollo de SIGs, en este artículo se propone una representación basada en el núcleo de Semat del método IGAC para identificar la relación con el método tradicional Proceso Unificado de Racional (RUP). Con esta representación es posible determinar las prácticas asociadas con el método IGAC que se heredan de los métodos tradicionales.