eBiltegia

    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Mondragon Unibertsitatea's Institutional Policy on Open Access to scientific documents and teaching materials
    •   Mondragon Unibertsitatea's Institutional Open Access Policy for Research Data
    •   eBiltegia Digital Preservation Guidelines
    •   The Library compiles and disseminates your publications
    • Euskara
    • Español
    • English

xmlui.dri2xhtml.structural.fecyt

  • Contact Us
  • English 
    • Euskara
    • Español
    • English
  • About eBiltegia  
    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Mondragon Unibertsitatea's Institutional Policy on Open Access to scientific documents and teaching materials
    •   Mondragon Unibertsitatea's Institutional Open Access Policy for Research Data
    •   eBiltegia Digital Preservation Guidelines
    •   The Library compiles and disseminates your publications
  • Login
Search 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Search
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 11-20 of 33

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker 

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)
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 ...
Thumbnail

Evaluating embedded relational databases for large model persistence and query 

Sagardui, Goiuria (Ediciones Universidad de Salamanca, 2016)
Large models are increasingly used in Model Driven Development. Different studies have proved that XMI (default persistence in Eclipse Modelling Framework) has some limitations when operating with large models. To overcome ...
Thumbnail

Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa 

Arrieta, Aitor; Sagardui, Goiuria; Etxeberria, Leire (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 ...
Thumbnail

Model Query Translator. A Model-level Query Approach for Large-scale Models 

Sagardui, Goiuria (SCITEPRESS, 2015)
Persisting and querying models larger than a few tens of megabytes using XMI introduces a significant time and memory footprint overhead to MDD workflows. In this paper, we present an approach that attempts to address this ...
Thumbnail

Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain 

Agirre, Joseba Andoni; Sagardui, Goiuria; Etxeberria, Leire (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 ...
Thumbnail

Transevol - A Tool to Evolve Legacy Model Transformations by Example 

Agirre, Joseba Andoni; Sagardui, Goiuria; Etxeberria, Leire (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 ...
Thumbnail

Supporting CRUD Model Operations from EOL to SQL 

Sagardui, Goiuria (SCITEPRESS, 2016)
Model-based software development promises improvements in terms of quality and cost by raising the abstraction level of the development from code to models, but also requires mature techniques and tools. Although Eclipse ...
Thumbnail

On the support of multi-perspective process models variability for smart environments 

Sagardui, Goiuria (IEEE, 2014)
Cloud service-based applications are to be adapted to serve multiple platforms and stakeholders. Atop of such services, Smart Green Buildings are fostering a plethora of processes within their sustainability life-cycle. ...
Thumbnail

A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain 

Sagardui, Goiuria; Etxeberria, Leire; Agirre, Joseba Andoni; Arrieta, Aitor (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 ...
Thumbnail

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty 

Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)
Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ...
  • 1
  • 2
  • 3
  • 4

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Discover

Author
Sagardui, Goiuria (32)
Arrieta, Aitor (16)Etxeberria, Leire (13)Ayerdi, Jon (8)Illarramendi, Miren (7)Agirre, Joseba Andoni (5)Elkorobarrutia, Xabier (5)Larrinaga, Felix (2)Markiegi, Urtzi (2)59a2375f63fb24493a1207d35262c78a (1)... View MoreSubjectElevators (6)Cyber Physical Systems CPS (4)Quality of Service (4)Metamorphic Testing (3)Model Driven Development (3)Models@runtime (3)Persistence (3)Runtime Adaptation (3)testing (3)Computer bugs (2)... View MoreDate Issued2019 (6)2021 (6)2020 (5)2022 (4)2015 (3)2016 (3)2014 (2)2017 (2)2018 (1)2023 (1)Has File(s)Yes (33)

Harvested by:

OpenAIREBASERecolecta

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASERecolecta

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace