This user account status is Approved
Algoritmi | User | António Miguel Ribeiro dos Santos Rosado da Cruz

António Miguel Ribeiro dos Santos Rosado da Cruz

António Miguel Ribeiro dos Santos Rosado da Cruz

At Algoritmi

Collaborating Researcher with PhD

Member of the IST R&D Group

Member of the SEMAG R&D Lab

Academic Degree

PhD

Current Position

Coordinating Professor at Instituto Superior de Tecnologia e Gestão do Instituto Politécnico de Viana do Castelo

Personal Webpage

Personal Email

miguel.cruz@estg.ipvc.pt

Orcid

0000-0003-3883-1160

Researcher ID

B-3246-2014

FCT Public Key

J0392207SZ5H

Ciência ID

Google Scholar

About Me



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 | journal-article

Towards a smart & sustainable campus: An application-oriented architecture to streamline digitization and strengthen sustainability in academia

Sustainability (Switzerland)

2021 | journal-article

Traceability system for quality monitoring in the fishery and aquaculture value chain

Journal of Agriculture and Food Research

2021 | journal-article

Artificial Intelligence Applied to Software Testing: A Literature Review

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

Blockchain-based traceability of carbon footprint: A solidity smart contract for ethereum

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

Blockchain-based traceability platforms as a tool for sustainability

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

Design Science Research for IS/IT Projects: Focus on Digital Transformation

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

EA in the Digital Transformation of Higher Education Institutions

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

Time2Play - Multi-sided platform for sports facilities: A disruptive digital platform

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

User Experience in Kiosk Application for Traceability of Fishery Products

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020 | book

Using blockchain to implement traceability on fishery value chain

ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies

2020 | conference-paper

Zeroconf Network Retail Kiosk for Fish Products Traceability

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

A food value chain integrated business process and domain models for product traceability and quality monitoring: Pattern models for food traceability platforms

ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems

2019 | conference-paper

Analysis of a traceability and quality monitoring platform for the fishery and aquaculture value Chain

Iberian Conference on Information Systems and Technologies, CISTI

2019 | conference-paper

Deriving integrated software design models from BPMN business process models

ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

2019 | conference-paper

Enterprise architecture as a tool for digital transformation

Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao

2019 | conference-paper

New Perspectives on Information Systems Modeling and Design

{IGI

2019 | edited-book

On the design of a Human-in-The-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration

2018 IEEE International Smart Cities Conference, ISC2 2018

2019 | conference-paper

On the design of a platform for traceability in the fishery and aquaculture value chain

Iberian Conference on Information Systems and Technologies, CISTI

2019 | conference-paper

RnMonitor: A WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management

5th IEEE International Smart Cities Conference, ISC2 2019

2019 | conference-paper

International Journal of Information System Modeling and Design (IJISMD) Volume 8, Issue 1, January - March 2017

International Journal of Information System Modeling and Design (IJISMD)

2017 | journal-issue

SPMDSL language model: Onto a DSL for agile use case driven software project's management

ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems

2017 | conference-paper

Cloud and mobile: A future together

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Model-driven development of data-centered mobile applications: A case study for android

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Modern software engineering methodologies for mobile and cloud environments

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Preface

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Use case and user interface patterns for data oriented applications

Communications in Computer and Information Science

2015 | book

A pattern language for use case modeling

MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

2014 | conference-paper

Refining use cases through temporal relations

ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends

2014 | conference-paper

An architectural model for customizing the business logic of SaaS applications

ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies

2013 | conference-paper

Migration to Windows Azure - Analysis and Comparison

4th Conference of Enterprise Information Systems - Aligning Technology, Organizations and People (Centeris 2012)

2012 | journal-article

A metamodel-based approach for automatic user interface generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010 | book

Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models

User Interfaces

2010 | other

Automatic generation of user interfaces from rigorous domain and use case models

2010 | dissertation-thesis

Automatic generation of user interface models and prototypes from domain and use case models

ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings

2009 | conference-paper

Automatic generation of interactive prototypes for domain model validation

ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies

2008 | conference-paper

Automatic generation of user interfaces from domain and use case models

QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology

2007 | conference-paper

Deriving default user interfaces from domain contracts

Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007

2007 | conference-paper

From algebras to objects: Generation and composition

Journal of Universal Computer Science

2005 | journal-article

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 | journal-article

Towards a smart & sustainable campus: An application-oriented architecture to streamline digitization and strengthen sustainability in academia

Sustainability (Switzerland)

2021 | journal-article

Traceability system for quality monitoring in the fishery and aquaculture value chain

Journal of Agriculture and Food Research

2021 | journal-article

Artificial Intelligence Applied to Software Testing: A Literature Review

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

Blockchain-based traceability of carbon footprint: A solidity smart contract for ethereum

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

Blockchain-based traceability platforms as a tool for sustainability

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

Design Science Research for IS/IT Projects: Focus on Digital Transformation

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

EA in the Digital Transformation of Higher Education Institutions

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

Time2Play - Multi-sided platform for sports facilities: A disruptive digital platform

ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems

2020 | conference-paper

User Experience in Kiosk Application for Traceability of Fishery Products

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020 | book

Using blockchain to implement traceability on fishery value chain

ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies

2020 | conference-paper

Zeroconf Network Retail Kiosk for Fish Products Traceability

Iberian Conference on Information Systems and Technologies, CISTI

2020 | conference-paper

A food value chain integrated business process and domain models for product traceability and quality monitoring: Pattern models for food traceability platforms

ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems

2019 | conference-paper

Analysis of a traceability and quality monitoring platform for the fishery and aquaculture value Chain

Iberian Conference on Information Systems and Technologies, CISTI

2019 | conference-paper

Deriving integrated software design models from BPMN business process models

ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

2019 | conference-paper

Enterprise architecture as a tool for digital transformation

Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao

2019 | conference-paper

New Perspectives on Information Systems Modeling and Design

{IGI

2019 | edited-book

On the design of a Human-in-The-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration

2018 IEEE International Smart Cities Conference, ISC2 2018

2019 | conference-paper

On the design of a platform for traceability in the fishery and aquaculture value chain

Iberian Conference on Information Systems and Technologies, CISTI

2019 | conference-paper

RnMonitor: A WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management

5th IEEE International Smart Cities Conference, ISC2 2019

2019 | conference-paper

International Journal of Information System Modeling and Design (IJISMD) Volume 8, Issue 1, January - March 2017

International Journal of Information System Modeling and Design (IJISMD)

2017 | journal-issue

SPMDSL language model: Onto a DSL for agile use case driven software project's management

ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems

2017 | conference-paper

Cloud and mobile: A future together

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Model-driven development of data-centered mobile applications: A case study for android

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Modern software engineering methodologies for mobile and cloud environments

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Preface

Modern Software Engineering Methodologies for Mobile and Cloud Environments

2016 | book

Use case and user interface patterns for data oriented applications

Communications in Computer and Information Science

2015 | book

A pattern language for use case modeling

MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

2014 | conference-paper

Refining use cases through temporal relations

ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends

2014 | conference-paper

An architectural model for customizing the business logic of SaaS applications

ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies

2013 | conference-paper

Migration to Windows Azure - Analysis and Comparison

4th Conference of Enterprise Information Systems - Aligning Technology, Organizations and People (Centeris 2012)

2012 | journal-article

A metamodel-based approach for automatic user interface generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010 | book

Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models

User Interfaces

2010 | other

Automatic generation of user interfaces from rigorous domain and use case models

2010 | dissertation-thesis

Automatic generation of user interface models and prototypes from domain and use case models

ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings

2009 | conference-paper

Automatic generation of interactive prototypes for domain model validation

ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies

2008 | conference-paper

Automatic generation of user interfaces from domain and use case models

QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology

2007 | conference-paper

Deriving default user interfaces from domain contracts

Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007

2007 | conference-paper

From algebras to objects: Generation and composition

Journal of Universal Computer Science

2005 | journal-article