Introducing Traceability Information Models in Connected Health Projects
Barbosa, Paulo, Leite, Fabio, Santos, Danilo, Figueiredo, Alex, Galdino, Katia
Published in 2018 IEEE 31st International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2018)
Published in 2018 IEEE 31st International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2018)
Get full text
Conference Proceeding
RE4CH: Requirements Engineering for Connected Health
Barbosa, Paulo, Queiroz, Julia, Santos, Danilo, Figueiredo, Alex, Leite, Fabio, Galdino, Katia
Published in 2018 IEEE 31st International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2018)
Published in 2018 IEEE 31st International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2018)
Get full text
Conference Proceeding
Towards medical device behavioural validation using Petri nets
Barbosa, Paulo E. S., Morais, Misael, Galdino, Katia, Andrade, Melquisedec, Gomes, Luis, Moutinho, Filipe, de Figueiredo, Jorge C. A.
Published in Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems (01.06.2013)
Published in Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems (01.06.2013)
Get full text
Conference Proceeding
NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems
Junior, Antonio D. dos S., Barbosa, Paulo E. S., Morais, Misael, Pequeno, Robson, Junior, Normando G. de C., Rodrigues, Sidney A.
Published in 2014 IEEE 27th International Symposium on Computer-Based Medical Systems (01.05.2014)
Published in 2014 IEEE 27th International Symposium on Computer-Based Medical Systems (01.05.2014)
Get full text
Conference Proceeding
A MDA-based contribution for integrating web services within embedded system's design
Barbosa, Paulo E S, Costa, Anikó, Gomes, Luís, Ramalho, Franklin, de Figueiredo, Jorge C A, Junior, A
Published in 2010 8th IEEE International Conference on Industrial Informatics (01.07.2010)
Published in 2010 8th IEEE International Conference on Industrial Informatics (01.07.2010)
Get full text
Conference Proceeding
Modeling complex Petri nets operations in the Model-Driven Architecture
Barbosa, P.E.S., Costa, A., de Figueiredo, J.C.A., Ramalho, F., Gomes, L., dos S. Junior, A.D.
Published in 2009 35th Annual Conference of IEEE Industrial Electronics (01.11.2009)
Published in 2009 35th Annual Conference of IEEE Industrial Electronics (01.11.2009)
Get full text
Conference Proceeding
Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids
Barbosa, P.E.S., Rodrigues, C.L., Figueiredo, J.C.A., Guerrero, D.D.S.
Published in IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society (01.11.2007)
Published in IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society (01.11.2007)
Get full text
Conference Proceeding
Architectural specification for infusion pumps and realization towards safety technological trends
Rodrigues, Sidney A., Freire, Raimundo C. S., Luciano, Benedite A., Barbosa, Paulo E. S., Antonio, D. S., Catunda, Sebastian Y. C.
Published in 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA) (01.06.2014)
Published in 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA) (01.06.2014)
Get full text
Conference Proceeding
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations
Barbosa, P.E.S., Ramalho, F., de Figueiredo, J.C.A., dos S. Junior, A.D.
Published in 2008 32nd Annual IEEE Software Engineering Workshop (01.10.2008)
Published in 2008 32nd Annual IEEE Software Engineering Workshop (01.10.2008)
Get full text
Conference Proceeding
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids
Rodrigues, C.L., Barbosa, P.E.S., Cabral, J.M., de Figueiredo, J.C.A., Guerrero, D.D.S.
Published in Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) (2006)
Published in Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) (2006)
Get full text
Conference Proceeding