Articles (8)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2019 Remove filter
filter_list Type (aggr.) Articles from 2019 to 2019 Software Engineering

2019

  1. A formal approach to automatically analyse extra-functional properties in mobile applications

    Software Testing Verification and Reliability, Vol. 29, Núm. 4-5

  2. A model specification for the design of trust negotiations

    Computers and Security, Vol. 84, pp. 288-300

  3. Contents for a Model-Based Software Engineering Body of Knowledge

    Software and Systems Modeling, Vol. 18, Núm. 6, pp. 3193-3205

  4. Context-Aware Energy-Efficient Applications for Cyber-Physical Systems

    Ad Hoc Networks, Vol. 82, pp. 15-30

  5. Efficient anytime algorithms to solve the bi-objective Next Release Problem

    Journal of Systems and Software, Vol. 156, pp. 217-231

  6. Executing multilevel domain-specific models in maude

    Journal of Object Technology, Vol. 18, Núm. 2, pp. 1-21

  7. Multilevel coupled model transformations for precise and reusable definition of model behaviour

    Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 167-195

  8. Specifying quantities in software models

    Information and Software Technology, Vol. 113, pp. 82-97