Documentos de Vos T.E.J. | REDI

Regresar

Mostrando 2 resultados de: 2

Filtros aplicados

Palabras Claves: "Conceptual Schema Validation"

Subtipo de publicación

Conference Object(2)

Publisher

CEUR Workshop Proceedings(1)

Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017(1)

Área temáticas

Ciencias de la computación(2)

Métodos informáticos especiales(1)

Programación informática, programas, datos, seguridad(1)

Área de conocimiento

Ingeniería de software(2)

Año de Publicación

Origen

Palabras Claves

CoSTest tool(1)

Conceptual Schema Testing(1)

Model validation(1)

Model-driven validation(1)

Requirements-based testing(1)

CoSTest: A Tool for Validation of Requirements at Model Level

Conference Object

Abstract: We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. The

Palabras claves:

Conceptual Schema Testing, Conceptual Schema Validation, Model-driven validation, Requirements-based testing

Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.

Using ALF within the CoSTest process for validation of UML-based conceptual schema

Conference Object

Abstract: The Unified Modelling Language (UML) is widely used for modelling software systems and its integrati

Palabras claves:

Conceptual Schema Validation, CoSTest tool, Model validation, UML class diagram, UML to ALF

Condori-Fernández N., María Fernanda Granda Juca, Vos T.E.J.