Listar por autor 

Listar por autor "Troya Castilla, Javier"  

Mostrando ítems 21-40 de 57

    • Ponencia
      Icon

      Fully Verifying Transformation Contracts for Declarative ATL 

      Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (IEEE Computer Society, 2015)
      The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by ...
    • Ponencia
      Icon

      Introducing Approximate Model Transformations 

      Troya Castilla, Javier; Vallecillo Moreno, Antonio (Universidad de Cádiz, 2014)
      Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The ...
    • Ponencia
      Icon

      Invirtiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil 

      Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Río Ortega, Adela del; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2019)
      En este artículo describimos nuestra experiencia al aplicar la metodología de clase invertida en la asigna tura Arquitectura ...
    • Ponencia
      Icon

      Lightweight Testing of Communication Networks with e-Motions 

      Troya Castilla, Javier; Bautista, José M.; López Romero, Fernando; Vallecillo Moreno, Antonio (Springer, 2011)
      This paper illustrates the use of high-level domain specific models to specify and test some performance properties of ...
    • Ponencia
      Icon

      Matching Business Process Workflows across Abstraction Levels 

      Castelo Branco, Moisés; Troya Castilla, Javier; Czarnecki, Krzysztof; Küster, Jochen; Völzer, Hagen (Springer, 2012)
      In Business Process Modeling, several models are defined for the same system, supporting the transition from business ...
    • Ponencia
      Icon

      Metamorphic Relation Patterns for Query-Based Systems 

      Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2019)
      Searching and displaying data based on user queries is a key feature of most software applications such as information ...
    • Informe
      Icon

      Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01 

      Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (2017)
      Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...
    • Artículo
      Icon

      Metamorphic Testing of RESTful Web APIs 

      Segura Rueda, Sergio; Parejo Maestre, José Antonio; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)
      Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ...
    • Artículo
      IconIcon

      Model Transformation Modularization as a Many-Objective Optimization Problem 

      Fleck, Martin; Troya Castilla, Javier; Kessentini, Marouane; Wimmer, Manuel; Alkhazi, Bader (IEEE Computer Society, 2017)
      Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and ...
    • Artículo
      Icon

      Model Transformation Testing and Debugging: A Survey 

      Troya Castilla, Javier; Segura Rueda, Sergio; Burgueño, Lola; Wimmer, Manuel (ACM Digital Library, 2022-11-21)
      Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ...
    • Artículo
      Icon

      Model-driven performance analysis of rule-based domain specific visual models 

      Troya Castilla, Javier; Vallecillo Moreno, Antonio; Durán, Francisco; Zschaler, Steffen (Elsevier, 2013)
      Context: Domain-Specific Visual Languages (DSVLs) play a crucial role in Model-Driven Engineering (MDE). Most DSVLs already ...
    • Ponencia
      Icon

      Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio 

      Moreno Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya Castilla, Javier (Springer, 2014)
      We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by ...
    • Ponencia
      Icon

      On the Concurrent Execution of Model Transformations with Linda 

      Burgueño, Loli; Troya Castilla, Javier; Wimmer, Manuel; Vallecillo Moreno, Antonio (ACM Digital Library, 2013)
      Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, ...
    • Ponencia
      Icon

      On the Modular Specification of NFPs: A Case Study 

      Moreno Delgado, Antonio; Troya Castilla, Javier; Durán, Francisco; Vallecillo Moreno, Antonio (Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
      The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for ...
    • Ponencia
      Icon

      On the Modular Specification of Non-Functional Properties in DSVLs 

      Troya Castilla, Javier; Vallecillo Moreno, Antonio; Durán, Francisco (Universidad de Almería, 2012)
      In previous work we have presented an approach to monitor nonfunctional properties of systems modeled in terms of domain ...
    • Ponencia
      Icon

      On the Reusable Specification of Non-functional Properties in DSLs 

      Durán, Francisco; Zschaler, Steffen; Troya Castilla, Javier (Springer, 2012)
      Domain-specific languages (DSLs) are an important tool for effective system development. They provide concepts that are ...
    • Ponencia
      Icon

      On the Specification of Non-functional Properties of Systems by Observation 

      Troya Castilla, Javier; Rivera, José E.; Vallecillo Moreno, Antonio (Springer, 2009)
      Domain specific languages play a cornerstone role in Model-Driven Engineering (MDE) for representing models and metamodels. ...
    • Ponencia
      Icon

      Parallel In-place Model Transformations with LinTra 

      Burgueño, Loli; Troya Castilla, Javier; Wimmer, Manuel; Vallecillo Moreno, Antonio (CEUR-WS, 2015)
      As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development ...
    • Artículo
      Icon

      Performance Metamorphic Testing: A Proof of Concept 

      Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (Elsevier, 2018)
      Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...
    • Ponencia
      Icon

      Performance Metamorphic Testing: Motivation and Challenges 

      Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (ACM Digital Library, 2017)
      Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...