3 research outputs found
Identificación de mejores prácticas de calidad para el desarrollo de software para ser implementadas en los procesos de formación de la media técnica en programación - Alianza Futuro Digital Medellín
Este proyecto centró la atención en la identificación de buenas prácticas de calidad para el desarrollo de software, centradas en el proceso y no en el producto de software, viables de ser incorporadas en la formación de los estudiantes de la media técnica en informática y programación en instituciones de educación básica y media pertenecientes a la Alianza Futuro Digital Medellín; esto con el fin de aportar elementos significativos en la formación técnica, que se verán reflejados en la calidad del producto software -- Para ello, se validaron las prácticas más reconocidas en el sector, respecto a su implementación cotidiana en las empresas de software -- En esta actividad participaron empresas de software de la ciudad de Medellín, vinculadas a la Alianza Futuro Digital -- Como resultado de este proceso, se identificaron aquellas prácticas más frecuentes en su aplicación, y se llevaron a un instrumento para sugerir su incorporación didáctica y metodológica en los currículos de la media técnica en informática y programación de las instituciones de educación básica y media pertenecientes a la Alianza Futuro Digital Medellí
Functional Size Measurement and Model Verification for Software Model-Driven Developments: A COSMIC-based Approach
Historically, software production methods and tools have a unique goal: to produce high quality
software. Since the goal of Model-Driven Development (MDD) methods is no different, MDD
methods have emerged to take advantage of the benefits of using conceptual models to produce
high quality software.
In such MDD contexts, conceptual models are used as input to automatically generate final
applications. Thus, we advocate that there is a relation between the quality of the final software
product and the quality of the models used to generate it. The quality of conceptual models can
be influenced by many factors. In this thesis, we focus on the accuracy of the techniques used to
predict the characteristics of the development process and the generated products.
In terms of the prediction techniques for software development processes, it is widely
accepted that knowing the functional size of applications in order to successfully apply effort
models and budget models is essential. In order to evaluate the quality of generated
applications, defect detection is considered to be the most suitable technique.
The research goal of this thesis is to provide an accurate measurement procedure based on
COSMIC for the automatic sizing of object-oriented OO-Method MDD applications. To
achieve this research goal, it is necessary to accurately measure the conceptual models used in
the generation of object-oriented applications. It is also very important for these models not to
have defects so that the applications to be measured are correctly represented.
In this thesis, we present the OOmCFP (OO-Method COSMIC Function Points) measurement
procedure. This procedure makes a twofold contribution: the accurate measurement of objectoriented
applications generated in MDD environments from the conceptual models involved, and
the verification of conceptual models to allow the complete generation of correct final applications
from the conceptual models involved.
The OOmCFP procedure has been systematically designed, applied, and
automated. This measurement procedure has been validated to conform to the
ISO 14143 standard, the metrology concepts defined in the ISO VIM, and the
accuracy of the measurements obtained according to ISO 5725. This
procedure has also been validated by performing empirical studies.
The results of the empirical studies demonstrate that OOmCFP can obtain
accurate measures of the functional size of applications generated in MDD
environments from the corresponding conceptual models.Marín Campusano, BM. (2011). Functional Size Measurement and Model Verification for Software Model-Driven Developments: A COSMIC-based Approach [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11237Palanci
Supporting Automatic Interoperability in Model-Driven Development Processes
By analyzing the last years of software development evolution, it is possible to observe that
the involved technologies are increasingly focused on the definition of models for the
specification of the intended software products. This model-centric development schema is the
main ingredient for the Model-Driven Development (MDD) paradigm.
In general terms, the MDD approaches propose the automatic generation of software
products by means of the transformation of the defined models into the final program code.
This transformation process is also known as model compilation process. Thus, MDD is
oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and
time-consuming task. Hence, models become the main actors of the MDD processes: the
models are the new programming code.
In this context, the interoperability can be considered a natural trend for the future of
model-driven technologies, where different modeling approaches, tools, and standards can be
integrated and coordinated to reduce the implementation and learning time of MDD solutions
as well as to improve the quality of the final software products. However, there is a lack of
approaches that provide a suitable solution to support the interoperability in MDD processes.
Moreover, the proposals that define an interoperability framework for MDD processes are still
in a theoretical space and are not aligned with current standards, interoperability approaches,
and technologies.
Thus, the main objective of this doctoral thesis is to develop an approach to achieve the
interoperability in MDD processes. This interoperability approach is based on current
metamodeling standards, modeling language customization mechanisms, and model-to-model
transformation technologies. To achieve this objective, novel approaches have been defined to
improve the integration of modeling languages, to obtain a suitable interchange of modeling
information, and to perform automatic interoperability verification.Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108Palanci