???global.info.a_carregar???
ANTÓNIO MIGUEL ROSADO DA CRUZ completed the PhD in Software Engineering in 2011 by, Universidade do Porto Faculdade de Engenharia, MSc in Informatics in 2004, by Universidade do Minho Escola de Engenharia, and BSc (5 year) in Mathematics and Computer Science in 1993, by Universidade do Minho Escola de Engenharia. He is integrated researcher at ADIT-Lab - Instituto Politécnico de Viana do Castelo; colaborador researcher at Centro ALGORITMI - Universidade do Minho; Adjunct Professor at Instituto Politécnico de Viana do Castelo; Member of the Technic and Scientific Council at the Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão; Coordinator of the Master's Program in Informatics Engineering, in the Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão; and, Member of the BSc Program in Informatics Engineering's Program Committee, in the Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão. Published 8 articles in journals. Has 5 section(s) of books and 2 book(s). Has received 1 awards and/or honors. Participates and/or participated as Principal researcher in 3 project(s) and Researcher in 3 project(s). Works in the area(s) of Exact Sciences with emphasis on Computer and Information Sciences with emphasis on Computer Sciences and Engineering and Technology with emphasis on Electrotechnical Engineering, Electronics and Informatics. In their professional activities interacted with 79 collaborator(s) in co-authorship of scientific papers. In his curriculum Ciência Vitae, the most frequent terms in the context of his scientific and technological output are: Automatic Code Generation; Software Development; Model-driven development; Software Architecture; Software Design; OCL - Object Constraint Language; User Interface Generation; Active Mitigation of Radon gas; Indoor Air Quality; Information systems; Computer Technologies; Electronics; Energy; Robotics; Ubiquitous computing; Industrial Eng & Management; IoT; IIoT.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
ANTÓNIO MIGUEL RIBEIRO DOS SANTOS ROSADO DA CRUZ

Nomes de citação

  • Rosado da Cruz, A. M.
  • Cruz, A. M. R.
  • Cruz, A. M.
  • da Cruz, A. M. R.

Identificadores de autor

Ciência ID
EC18-399D-CF16
ORCID iD
0000-0003-3883-1160
Scopus Author Id
24484607700

Endereços de correio eletrónico

  • miguel.cruz@estg.ipvc.pt (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B2)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B2)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2011
Concluído
 Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
"Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models" (TESE/DISSERTAÇÃO)
 Aprovado por Unanimidade
2004
Concluído
 Mestrado em Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Objectificação de especificações formais" (TESE/DISSERTAÇÃO)
 Muito Bom
2000
Concluído
 Pós-Graduação em Informática (Pós-Graduação)
Universidade do Minho Escola de Engenharia, Portugal
"Objectificação de Especificações Formais" (TESE/DISSERTAÇÃO)
 16
1993
Concluído
 Licenciatura em Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho Escola de Engenharia, Portugal
"Engenharia Reversa de Sistemas de Informação" (TESE/DISSERTAÇÃO)
 13
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/08 - Atual Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico de Viana do Castelo, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2013/10/01 - 2016/08/31 Professor Adjunto Convidado (Docente Ensino Superior Politécnico) Instituto Politécnico de Viana do Castelo, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2005/09/16 - 2013 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico de Viana do Castelo, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2019/11 - Atual Membro da Comissão de Curso da Licenciatura em Engenharia Informática Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2018/04 - Atual Membro do Conselho Técnico-Científico Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2017/07 - Atual Coordenador de Curso do Mestrado em Engenharia Informática Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2018/04/16 - 2023/11 Coordenador de Grupo Disciplinar Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2020/07 - 2022 Membro da Comissão de Curso do CTEsP em Tecnologias e Programação de Sistemas de Informação Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2018/12 - 2020/10 Membro do Conselho Pedagógico Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2015/09 - 2020/07 Membro da Comissão de Curso do CTEsP em Tecnologias e Programação de Sistemas de Informação Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2018 - 2019 Conselho científico/técnico-científico ou orgão correspondente Instituto Politécnico de Viana do Castelo, Portugal
2018 - 2019 Conselho pedagógico Instituto Politécnico de Viana do Castelo, Portugal
2016/12 - 2018/10 Membro do Conselho Pedagógico Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2012/05 - 2017/07 Coordenador de Curso do Mestrado em Engenharia de Software Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
2012/12 - 2014/12 Membro do Conselho Pedagógico Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal
Instituto Politécnico de Viana do Castelo Escola Superior de Tecnologia e Gestão, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - Atual Investigador colaborador Universidade do Minho Centro ALGORITMI, Portugal
2008/09/16 - 2013/09/30 Equiparado a Assistente de 2º Triénio Instituto Politécnico de Viana do Castelo, Portugal
2005/09/16 - 2008/09/15 Equiparado a Assistente de 1º Triénio Instituto Politécnico de Viana do Castelo, Portugal
2001/03/19 - 2005/09/15 Coordenador de Projectos / Analista de Sistemas Sidereus - Consultoria Informática, SA, Porto, Portugal
1994/02/16 - 2001/03/18 Coordenador de Equipa de Desenvolvimento / Analista de Sistemas Edinfor - Sistemas Informáticos, S.A. (Grupo EDP), Porto, Portugal
1993/02/01 - 1994/02/15 Junior Researcher (Bolseiro) INESC (Braga), Portugal
Projetos

Projeto

Designação Financiadores
2022/07/01 - Atual TEXP@CT - PACTO DE INOVAÇÃO PARA A DIGITALIZAÇÃO DO TÊXTIL E VESTUÁRIO
02/C05-i01/2022
Investigador responsável
Em curso
2022/05/25 - Atual BE@T - BIOECONOMIA PARA TÊXTIL E VESTUÁRIO
02-C12-i01.01-2022.P1
Investigador
Em curso
2020/07 - 2023/06 STVgoDIGITAL - Digitalization of the Textiles and Clothing value chain.
STVGoDigital
Investigador responsável
Em curso
2018/11 - 2021/12 NexGenBS
NORTE-01-0247-FEDER-037543
Investigador
Horizon 2020 Framework Programme
Concluído
2017/10 - 2020/09 ValorMar
POCI-01-0247-FEDER-024517
Investigador responsável
Compete 2020
Concluído
2017/09/01 - 2020/01/31 RnMonitor: Infraestrutura de Monitorizacao Online e Estratégias de Mitigação Activa do Gás Radão no Ar Interior em Edificios Públicos da Regiao Norte de Portugal
SAICT-POL/23997/2016
Investigador
Instituto Politécnico de Viana do Castelo, Portugal

Instituto de Telecomunicações, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2019/01/01 - 2019/12/31 Centro de Investigação ALGORITMI
UID/CEC/00319/2019
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Sá, M.; Guise, C.; Costa, F.; Rodrigues, P.; Oliveira, J.; Barros, A.; Silva, R.; et al. "STVgoDigital: A Digital Product Passport Solution". 2024.
    10.1007/978-3-031-48930-3_28
  2. Morais, R.; Da Cruz, A.M.R.; Cruz, E.F.. "Towards a Blockchain-based Traceability Platform for the Fruit and Vegetables Value Chain". 2023.
    10.23919/CISTI58278.2023.10211256
  3. Barros, D.S.; Da Cruz, A.M.R.; Lopes, S.I.. "Hybrid Building Occupancy Estimation using Thermal Imaging and Environmental Sensing". 2023.
    10.1109/ICIT58465.2023.10143114
  4. Mpinga, V.; Rosado Da Cruz, A.M.; Lopes, S.I.. "Forecasting Short-Term Indoor Radon: A Machine Learning Approach Using LSTM Networks". 2023.
    10.23919/CISTI58278.2023.10211807
  5. Fernandes, M.A.; Cruz, E.F.; da Cruz, A.M.R.. "Smart Contract and Web DApp for Traceability in the Olive Oil Production chain". 2022.
    10.23919/CISTI54924.2022.9820169
  6. Alves, L.; Cruz, E.F.; Rosado da Cruz, A.M.. "Tracing Sustainability Indicators in the Textile and Clothing Value Chain using Blockchain Technology". 2022.
    10.23919/CISTI54924.2022.9820241
  7. Araújo, P.; da Cruz, A.M.R.; Lopes, S.I.. "IoT and Blockchain Technologies for Process Traceability in the Shipbuilding Industry". 2022.
    10.23919/CISTI54924.2022.9820491
  8. Dias, R.; Cardoso, H.; Cruz, E.F.; Rosado Da Cruz, A.M.. "A Blockchain-based platform for reliably tracing political contacts,Plataforma baseada na Blockchain para Rastreamento de Contactos Políticos de forma Confiável". 2021.
    10.23919/CISTI52073.2021.9476327
  9. Wanzeller, W.F.; Cruz, M.E.; Carvalho, M.F.; Da Cruz, A.M.R.. "Nice Payer-A software platform for registering Debtors with Past Due Debts,Nice Payer-Plataforma de Software Para Registo de Devedores com Dívidas Vencidas". 2021.
    10.23919/CISTI52073.2021.9476227
  10. Alves, L.; Carvalhido, T.; Cruz, E.F.; da Cruz, A.M.R.. "Using Blockchain to Trace PDO/PGI/TSG Products". 2021.
  11. da Cruz, A.M.R.; Santos, F.; Mendes, P.; Cruz, E.F.. "Blockchain-based traceability of carbon footprint: A solidity smart contract for ethereum". 2020.
  12. da Cruz, A.M.R.; Cruz, E.F.. "Blockchain-based traceability platforms as a tool for sustainability". 2020.
  13. Caldas, D.; Cruz, E.F.; da Cruz, A.M.R.. "Time2Play - Multi-sided platform for sports facilities: A disruptive digital platform". 2020.
  14. Cruz, E.F.; da Cruz, A.M.R.. "Using blockchain to implement traceability on fishery value chain". 2020.
  15. Cruz, E.F.; Cruz, A.M.R.D.. "Design Science Research for IS/IT Projects: Focus on Digital Transformation". 2020.
    10.23919/CISTI49556.2020.9140972
  16. Lima, R.; Da Cruz, A.M.R.; Ribeiro, J.. "Artificial Intelligence Applied to Software Testing: A Literature Review". 2020.
    10.23919/CISTI49556.2020.9141124
  17. Oliveira, J.; Da Cruz, A.M.R.; Faria, P.M.. "Zeroconf Network Retail Kiosk for Fish Products Traceability". 2020.
    10.23919/CISTI49556.2020.9141069
  18. Gomes, R.; Da Cruz, A.M.R.; Cruz, E.F.. "EA in the Digital Transformation of Higher Education Institutions". 2020.
    10.23919/CISTI49556.2020.9141086
  19. Cruz, António Miguel Rosado da; Lopes, S.I.; Moreira, P.M.; Cruz, A.M.; Martins, P.; Pereira, F.; Curado, A.. "RnMonitor: a WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management". 2019.
    10.1109/isc246665.2019.9071789
  20. Cruz, António Miguel Rosado da; Rosado Da Cruz, A.M.; Cruz, E.F.; Moreira, P.; Carreira, R.; Gomes, J.; Oliveira, J.; Gomes, R.. "On the Design of a Platform for Traceability in the Fishery and Aquaculture Value Chain". 2019.
    10.23919/cisti.2019.8760891
  21. Cruz, E.F.; Rosado da Cruz, A.M.. "A food value chain integrated business process and domain models for product traceability and quality monitoring: Pattern models for food traceability platforms". 2019.
  22. Lopes, S.I.; Cruz, A.M.; Moreira, P.M.; Abreu, C.; Silva, J.P.; Lopes, N.; Vieira, J.M.N.; Curado, A.. "On the design of a Human-in-The-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration". 2019.
    10.1109/ISC2.2018.8656777
  23. Gomes, R.; Rosado da Cruz, A.M.; Cruz, E.F.. "Enterprise architecture as a tool for digital transformation". 2019.
  24. Cruz, E.F.; Rosado Da Cruz, A.M.; Gomes, R.; Cruz, António Miguel Rosado da. "Analysis of a traceability and quality monitoring platform for the fishery and aquaculture value Chain". 2019.
    10.23919/CISTI.2019.8760755
  25. Cruz, António. "Deriving Integrated Software Design Models from BPMN Business Process Models". 2018.
    10.5220/0006852006050616
  26. Ribeiro, G.G.G.; Barros, Â.M.A.; Da Cruz, A.M.R.. "SPMDSL language model: Onto a DSL for agile use case driven software project's management". 2017.
  27. Da Cruz, A.M.R.. "Refining use cases through temporal relations". 2014.
  28. Da Cruz, A.M.R.. "A pattern language for use case modeling". 2014.
  29. Correia, A.; Penha, J.R.; Da Cruz, A.M.R.. "An architectural model for customizing the business logic of SaaS applications". 2013.
  30. Passos da Costa, Paulo Jorge; Rosado da Cruz, Antonio Miguel. "Migration to Windows Azure - Analysis and Comparison". Trabalho apresentado em 4th Conference of Enterprise Information Systems - Aligning Technology, Organizations and People (Centeris 2012), 2012.
    10.1016/j.protcy.2012.09.011
  31. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of user interface models and prototypes from domain and use case models". 2009.
  32. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of interactive prototypes for domain model validation". 2008.
  33. Da Cruz, A.M.R.; De Faria, J.P.. "Automatic generation of user interfaces from domain and use case models". 2007.
    10.1109/QUATIC.2007.14
  34. Da Cruz, A.M.R.. "Deriving default user interfaces from domain contracts". 2007.
Artigo em revista
  1. Ricardo Morais; António Miguel Rosado da Cruz; Estrela Ferreira Cruz. "Fruit and Vegetables Blockchain-Based Traceability Platform". Computers (2024): https://doi.org/10.3390/computers13050112.
    10.3390/computers13050112
  2. Paula Fraga-Lamas; Tiago M. Fernández-Caramés; António M. Rosado da Cruz; Sergio Ivan Lopes. "An Overview of Blockchain for Industry 5.0: Towards Human-Centric, Sustainable and Resilient Applications". IEEE Access (2024): https://doi.org/10.1109/ACCESS.2024.3435374.
    10.1109/ACCESS.2024.3435374
  3. Luís Alves; Miguel Sá; Estrela Ferreira Cruz; Toni Alves; Marcelo Alves; João Oliveira; Manuel Santos; António Miguel Rosado da Cruz. "A Traceability Platform for Monitoring Environmental and Social Sustainability in the Textile and Clothing Value Chain: Towards a Digital Passport for Textiles and Clothing". Sustainability (2023): https://doi.org/10.3390/su16010082.
    10.3390/su16010082
  4. Estrela Ferreira Cruz; A.M. Rosado da Cruz. "Digital solutions for engaging end-consumers in the circular economy of the textile and clothing value chain - A systematic review". Cleaner and Responsible Consumption (2023): https://doi.org/10.1016/j.clrc.2023.100138.
    10.1016/j.clrc.2023.100138
  5. Luís Alves; Pedro Miguel Faria; Estrela Ferreira Cruz; Sérgio Ivan Lopes; António Miguel Rosado da Cruz. "Eco-Gamification Platform to Promote Consumers’ Engagement in the Textile and Clothing Circular Value Chain". Sustainability (2023): https://doi.org/10.3390/su15065398.
    10.3390/su15065398
  6. Leonardo Fernandes; António Miguel Rosado da Cruz; Estrela Ferreira Cruz; Sérgio Ivan Lopes. "A Review on Adopting Blockchain and IoT Technologies for Fostering the Circular Economy in the Electrical and Electronic Equipment Value Chain". Sustainability (2023): https://doi.org/10.3390/su15054574.
    10.3390/su15054574
  7. Luís Alves; Estrela Ferreira Cruz; Sérgio I Lopes; Pedro M Faria; António Miguel Rosado da Cruz. "Towards circular economy in the textiles and clothing value chain through blockchain technology and IoT: A review". Waste Management & Research: The Journal for a Sustainable Circular Economy (2021): https://doi.org/10.1177/0734242X211052858.
    10.1177/0734242X211052858
  8. Oliveira, J.; Lima, J.E.; da Silva, D.; Kuprych, V.; Faria, P.M.; Teixeira, C.; Ferreira Cruz, E.; Rosado da Cruz, A.M.. "Traceability system for quality monitoring in the fishery and aquaculture value chain". Journal of Agriculture and Food Research 5 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85108157616&partnerID=MN8TOARS.
    10.1016/j.jafr.2021.100169
  9. Martins, P.; Lopes, S.I.; da Cruz, A.M.R.; Curado, A.. "Towards a smart & sustainable campus: An application-oriented architecture to streamline digitization and strengthen sustainability in academia". Sustainability (Switzerland) 13 6 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85103085620&partnerID=MN8TOARS.
    10.3390/su13063189
  10. Cruz, A.M.; Barbosa, L.S.; Oliveira, J.N.. "From algebras to objects: Generation and composition". Journal of Universal Computer Science 11 10 (2005): 1580-1612. http://www.scopus.com/inward/record.url?eid=2-s2.0-29144458087&partnerID=MN8TOARS.
Capítulo de livro
  1. Dias, R.A.; da Cruz, A.M.R.; Cruz, E.F.; Ferreira, L.; Ricardo Abreu Dias; António Miguel Rosado da Cruz; Estrela Ferreira Cruz; Luis Ferreira. "Blockchain-based applications for disrupting and accelerating innovation in organizations and society". 242-263. 2023.
  2. Da Silva, J.A.A.P.; Paiva, S.; Da Cruz, A.M.R.. "Model-driven development of data-centered mobile applications: A case study for android". In Modern software engineering methodologies for mobile and cloud environments. 2016.
    10.4018/978-1-4666-9916-8.ch012
  3. Da Cruz, A.M.R.; Paiva, S.. "Cloud and mobile: A future together". In Modern software engineering methodologies for mobile and cloud environments. 2016.
    Publicado • 10.4018/978-1-4666-9916-8.ch001
  4. da Cruz, A.M.R.. "Use case and user interface patterns for data oriented applications". 2015.
    10.1007/978-3-319-25156-1_8
  5. da Cruz, António Miguel Rosado; Faria, João Pascoal. "A Metamodel-Based Approach for Automatic User Interface Generation". In Model Driven Engineering Languages and Systems, 256-270. Springer Berlin Heidelberg, 2010.
    Publicado • 10.1007/978-3-642-16145-2_18
Edição de livro
  1. António Miguel Rosado da Cruz; Maria Estrela Ferreira da Cruz. New Perspectives on Information Systems Modeling and Design. IGI-Global. 2019.
    10.4018/978-1-5225-7271-8 • Editor
  2. Da Cruz, A.M.R.; Paiva, S.. Modern software engineering methodologies for mobile and cloud environments. IGI-Global. 2016.
    10.4018/978-1-4666-9916-8 • Editor
Livro
  1. Oliveira, J.; Faria, P.M.; Rosado da Cruz, A.M.. User Experience in Kiosk Application for Traceability of Fishery Products. 2020.
    10.1007/978-3-030-60114-0_48
  2. Da Cruz, A.M.R.; Paiva, S.. Preface. 2016.
Tese / Dissertação
  1. Cruz, António Miguel Ribeiro dos Santos Rosado da. "Automatic generation of user interfaces from rigorous domain and use case models". Doutoramento, 2010. http://hdl.handle.net/10216/59884.

Outros

Outra produção
  1. Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models. 2010. Antonio Miguel Rosado da Cruz; Joao Pascoal.
    10.5772/9498
Distinções

Prémio

2010 Best Paper Award, in MODELS 2010
Springer-Verlag GmbH, Alemanha