Search Results - "de la Vara, Jose Luis"
-
1
The Problem Is Not Professional Publishing, But the Publish-or-Perish Culture
Published in Science and engineering ethics (01-04-2019)“…The publication of scientific papers has become increasingly problematic in the last decades. Even if we agree that a renewed model is needed for peer-reviewed…”
Get full text
Journal Article -
2
An Industrial Survey of Safety Evidence Change Impact Analysis Practice
Published in IEEE transactions on software engineering (01-12-2016)“…Context. In many application domains, critical systems must comply with safety standards. This involves gathering safety evidence in the form of artefacts such…”
Get full text
Journal Article -
3
GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant
Published in PeerJ. Computer science (01-12-2022)“…This article presents a tool called GDPRValidator that aims to assist small and medium-sized enterprises (SMEs) that have migrated their services, or a part of…”
Get full text
Journal Article -
4
Preface for “Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)”
Published in Science of computer programming (01-03-2024)Get full text
Journal Article -
5
Assurance and certification of cyber–physical systems: The AMASS open source ecosystem
Published in The Journal of systems and software (01-01-2021)“…Many cyber–physical systems (CPS) are subject to rigorous assurance and certification processes to provide confidence that undue risks are not posed and thus…”
Get full text
Journal Article -
6
A model-driven approach to adopt good practices for agile process configuration and certification
Published in Computer standards and interfaces (01-08-2023)“…•Model-Driven approach to represent and select good practices for config-uring agile practices in development processes aligned to organizational…”
Get full text
Journal Article -
7
Model-driven gap analysis for the fulfillment of quality standards in software development processes
Published in Software quality journal (01-03-2024)“…Society today is moving towards rapid digitalization of almost every aspect of our lives. From healthcare and transport to work or entertainment, we depend on…”
Get full text
Journal Article -
8
An empirical evaluation of the use of models to improve the understanding of safety compliance needs
Published in Information and software technology (01-10-2020)“…•We report an experiment on the use of models to understand safety compliance needs.•We studied the effectiveness, efficiency, and perceived benefits in…”
Get full text
Journal Article -
9
Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods
Published in Business & information systems engineering (01-04-2023)“…Many software companies are adapting their traditional development processes to incorporate agile practices. In this context, it is necessary to count on…”
Get full text
Journal Article -
10
Reuse of safety certification artefacts across standards and domains: A systematic approach
Published in Reliability engineering & system safety (01-02-2017)“…Reuse of systems and subsystem is a common practice in safety-critical systems engineering. Reuse can improve system development and assurance, and there are…”
Get full text
Journal Article -
11
Model-based assurance evidence management for safety–critical systems
Published in Software and systems modeling (01-12-2022)“…Most safety–critical systems are subject to rigorous assurance processes to justify that the systems satisfy given requirements and are dependable. These…”
Get full text
Journal Article -
12
Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home
Published in Sensors (Basel, Switzerland) (29-01-2021)“…Unmanned aerial vehicles (UAVs) represent a new model of social robots for home care of dependent persons. In this regard, this article introduces a study on…”
Get full text
Journal Article -
13
Variability management in process families through change patterns
Published in Information and software technology (01-06-2016)“…•We present a set of change patterns for managing process families.•The patters are derived from existing process variability-specific constructs.•The patterns…”
Get full text
Journal Article -
14
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel
Published in Information and software technology (01-04-2016)“…•We present a metamodel for the specification of safety compliance needs.•The metamodel abstracts concepts and criteria from different safety standards.•Its…”
Get full text
Journal Article -
15
An Industrial Approach for Model-Based Reliability-Oriented System Design
Published in 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC) (01-11-2022)“…Society increasingly depends on electronic systems and components (ECS) whose reliability must be ensured throughout their lifecycle. ECS reliability must be…”
Get full text
Conference Proceeding -
16
Assurance of Software-Intensive Medical Devices: What About Mental Harm?
Published in 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01-06-2023)“…Interdisciplinary synergies are arising from the growing usage of software, e.g., between dependability assurance and mental health. In a context in which…”
Get full text
Conference Proceeding -
17
Poster: Analysis of Requirements Quality Evolution
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01-05-2018)“…A fundamental aspect in the requirements engineering process is to know the quality of a specification, including how the quality evolves over time. This paper…”
Get full text
Conference Proceeding -
18
Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry
Published in 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) (01-06-2020)“…The engineering of safety-critical systems is a complex process whose cost-effectiveness is very important. Reuse of system artefacts is an activity that can…”
Get full text
Conference Proceeding -
19
Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems
Published in Open research Europe (2023)“…Verification and validation (V&V) are complex processes combining different approaches and incorporating many different methods including many activities…”
Get full text
Journal Article -
20
Development of Safety-Critical Software Systems Using Open Source Software -- A Systematic Map
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01-08-2014)“…The popularity of Open Source Software (OSS) has increased the interest in using it in safety critical applications. The aim of this study is to review…”
Get full text
Conference Proceeding