Buscar
Mostrando ítems 1-10 de 361
Testing-based conceptual schema validation in a modeldriven environment
(CEUR-WS, 2013)
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on their creation, testing and evolution at different levels of abstraction through transformations. If a conceptual schema ...
Testing-based conceptual schema validation in a model- Driven environment
(CEUR-WS, 2013-06-21)
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on their creation, testing and evolution at different levels of abstraction through transformations. If a conceptual schema ...
CoSTest: a tool for validation of requirements at model level
(Institute of Electrical and Electronics Engineers, 2017)
We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. The tool implements techniques for transforming instantiations from a Requirements Model into test case implementations by ...
Is Container a Natural and Embodied Image Schema? A Developmental, Pragmatic, and Cultural Proposal
(Karger, 2017-11)
Conceptual metaphor theory showed, from embodiment, the importance of metaphor as a cognitive process. This influential theory assumes the existence of primitive but powerful mental structures called image schemas. In this ...
Using ALF within the CoSTest process for validation of UML-based conceptual schema
(CEUR-WS, 2017)
The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical ...
The Interactive Origin and the Aesthetic Modelling of Image-Schemas and Primary Metaphors
(Springer, 2018-06)
According to the theory of conceptual metaphor, image-schemas and primary metaphors are preconceptual structures configured in human cognition, based on sensory-motor environmental activity. Focusing on the way both ...
Evolutionary Database Design: Enhancing Data Abstraction Through Database Modularization To Achieve Graceful Schema Evolution
(Springer Int Publishing AGCham, 2016)