关注
Andrés Paz
Andrés Paz
MANNARINO Systems & Software, Inc.
在 ens.etsmtl.ca 的电子邮件经过验证
标题
引用次数
引用次数
年份
Desarrollo e Instrumentación de un Proceso de Vigilancia Tecnológica basado en Protocolos de Revisión Sistemática de la Literatura
A López, D Méndez, A Paz, H Arboleda
Información tecnológica 27 (4), 155-164, 2016
432016
Metodología para implantar el Modelo Integrado de Capacidad de Madurez en grupos pequeños y emergentes
H Arboleda, A Paz, R Casallas
Estudios Gerenciales 29 (127), 177-188, 2013
312013
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
A Paz, G El Boussaidi
Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International …, 2016
212016
A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems
A Paz, H Arboleda
Electronic Notes in Theoretical Computer Science 321, 67-88, 2016
182016
Desarrollo e instrumentacion de un marco de trabajo para generar y gestionar aplicaciones empresariales autoadaptativas
H Arboleda, A Paz, M Jiménez, G Tamura
17*
checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design
A Paz, G El Boussaidi, H Mili
IEEE Transactions on Software Engineering 47 (12), 2713-2739, 2020
122020
Building a software requirements specification and design for an avionics system: an experience report
A Paz, GE Boussaidi
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1262-1271, 2018
102018
Development and Instrumentation of a Framework for the Generation and Management of Self-Adaptive Enterprise Applications
H Arboleda, A Paz, M Jiménez, G Tamura
Ingenieria y Universidad 20 (2), 2016
102016
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
N Metayer, A Paz, G El Boussaidi
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
92019
A requirements modelling language to facilitate avionics software verification and certification
A Paz, G El Boussaidi
2019 IEEE/ACM 6th International Workshop on Requirements Engineering and …, 2019
92019
Metodología Ágil para equipos pequeños usando plataformas Microsoft
AF Loboguerrero, LC Bueno, HF Arboleda
Sistemas & Telemática 9 (18), 83-99, 2011
9*2011
A framework for the generation and management of self-adaptive enterprise applications
H Arboleda, A Paz, M Jiménez, G Tamura
2015 10th Computing Colombian Conference (10CCC), 55-62, 2015
72015
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Discovering Proficiency Levels For CDIO Syllabus Topics Through Stakeholder Differentiation
H Arboleda, A Pachón, A Paz, G Ulloa
CDIO Conference 2013, June 9-13, Cambridge, 2013
42013
Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures
AB Belle, GE Boussaidi, TC Lethbridge, S Kpodjedo, H Mili, A Paz
arXiv preprint arXiv:2112.01644, 2021
32021
Supporting Consistency in the Heterogeneous Design of Safety-Critical Software
A Paz, G El Boussaidi
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
32019
Preliminary Analysis of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
A Paz, G El Boussaidi
Université du Québec, École de Technologie Supérieure, Montreal, Canada …, 2016
32016
Support tool for verifying the compliance of standards and regulations in implementations of strategies for information security
FR López, YB Domínguez, ILM Periñán, AFP Loboguerrero
Sistemas & Telemática 13 (32), 27-39, 2015
22015
系统目前无法执行此操作,请稍后再试。
文章 1–20