ESPECIFICACION, DISEÑO Y EVOLUCION DE SOFTWARE
GEDES
![Foto de ESPECIFICACION, DISEÑO Y EVOLUCION DE SOFTWARE](/img/grupo.png)
![Foto de Universidad Simón Bolívar](/img/noimage_org.png)
Universidad Simón Bolívar
Caracas, VenezuelaPublicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (34)
2018
-
Accessibility and Activity-Centered Design for ICT Users: ACCESIBILITIC Ontology
IEEE Access, Vol. 6, pp. 60655-60665
2017
-
A methodological approach for checking safety-critical systems software
International Journal of Critical Computer-Based Systems, Vol. 7, Núm. 4, pp. 341-368
-
Design patterns for software evolution requirements
Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017
-
Ontology to profile user models with disabilities
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Calidad ágil: Patrones de diseño en un contexto de desarrollo dirigido por pruebas
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
-
Calidad ágil: Patrones de diseño en un contexto de desarrollo dirigido por pruebas
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
-
Checking critical software systems: A formal proposal
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2014
-
An ontological approach to profile customers with disabilities in e-business
Proceedings of the 13th International Conference WWW/Internet 2014, ICWI 2014
-
Choreography modeling compliance for timed business models
Lecture Notes in Business Information Processing, Vol. 191, pp. 202-218
2013
-
Verificación automática de procesos de negocio con un enfoque composicional
Revista Tecnica de la Facultad de Ingenieria Universidad del Zulia, Vol. 36, Núm. 1, pp. 70-79
2012
-
A compositional scheme and framework for safety critical systems verification
Proc. of the 10th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2012 and 1st Int. Workshop on , WEBI 2012,in Conj. with ICEIS 2012
-
A formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
-
Automating the transformation from BPMN models to CSP+T specifications
Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012
-
Conceptual framework for business processes compositional verification
Information and Software Technology, Vol. 54, Núm. 2, pp. 149-161
2011
-
A formalization proposal of timed BPMN for Compositional Verification of Business Processes
Lecture Notes in Business Information Processing
-
BTRANSFORMER A Tool for BPMN to CSP plus T Transformation
ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3
-
BTRANSFORMER: A tool for BPMN to CSP+T transformation
ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems
-
Implementing a Transformation from BPMN to CSP plus T with ATL: Lessons Learnt
INFORMATION VALUE MANAGEMENT, FUTURE TRENDS OF MODEL-DRIVEN DEVELOPMENT, RECENT TRENDS IN SOA BASED INFORMATION SYSTEMS AND MODELLING AND SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS
-
Implementing a transformation from BPMN to CSP+T with ATL: Lessons learnt
Proc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011
2010
-
COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES MODELLED WITH BPMN
ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION