Bilatu
16-tik 11-16 emaitza erakusten
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa
(UEU, 2015)
Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ...
Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain
(SCITEPRESS, 2015)
The use of Model Driven Development (MDD) is increasing in industry. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and also transformations are affected. Tasks ...
Transevol - A Tool to Evolve Legacy Model Transformations by Example
(SCITEPRESS, 2014)
The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artefacts of software engineering processes. The development of model ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
(IEEE, 2017)
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ...
Delta Rhapsody
(2016)
Model Based System Engineering (MBSE) has become the pre-eminent paradigm used to improve the development of complex systems. Additionally, Delta Modelling provides an incremental approach to the design and maintenance of ...