Algoritmi | User | Ricardo Jorge Silvério Magalhães Machado
Ricardo Jorge Silvério Magalhães Machado
Ricardo Jorge Silvério Magalhães Machado
At Algoritmi
Academic Degree
Dr habil
Current Position
Full Professor at Escola de Engenharia da Universidade do Minho
Personal Webpage
http://www3.dsi.uminho.pt/rmac/Personal Email
Ricardo.J.Machado@algoritmi.uminho.ptOrcid
0000-0002-3626-2569Researcher ID
B-9487-2011Ciência ID
461F-BC85-69B6Google Scholar
h-index
18Publications
203Editorial
15Citations
1267Q1 / Q2
48About Me 
::EN Ricardo J. Machado (DEng, MSc, PhD, Dr. Habil, MSOEP, SMIEEE, CSPM-ISPMA) is a Full Professor (Professor Catedrático) of Information Systems Engineering at the University of Minho and Founder & Scientific Coordinator of the SEMAG (Software-based Information Systems Engineering and Management) R&I group of the ALGORITMI Research Centre. Currently, he is also President of the CCG/ZGDV Institute and of the DTx Digital Transformation CoLab. His primary research interests are modelling and requirements, systems architecture, and process and project management. He also has interests in information semantics, ontologies, and cognitive computing. He has created several methods and tools for requirements analysis and architecture design, including the shobi-PN meta-model (an extension of object-oriented Petri nets) and the 4SRS (4-Step Rule Set) method. He is the author of over 200 peer-reviewed papers, inventor of 4 patents, and editor/co-author of several books, including "Requirements in Engineering Projects" from Springer-Switzerland and "Requisitos em Projetos de Software e de Sistemas de Informação" from Novatec-Brazil. His strong commitment to applied research at the service of the economy and society led him to promote the creation of the EPMQ Lab (currently, an R&I dept.) at the CCG/ZGDV Institute, the DTx Digital Transformation CoLab, and the ProChild CoLab Against Poverty and Social Exclusion. He has performed other leading roles, such as Vice-Rector of UMinho, coordinating, namely, the UMinho strategy and policy for information systems and institutional quality and the UMinho programs and measures in the field of advanced and cognitive computing and machine learning. Ricardo J. Machado received the DEng degree in Electrical and Computer Engineering from the University of Porto, the MSc and PhD degrees in Computer Science and Engineering, and the Dr. Habil academic title in the subject domain of Information Systems Engineering from the University of Minho. He received several awards and distinctions, such as the 2009 IEEE MGA Achievement Award and the 2016 APLOG Annual Logistics Excellence Award. For more details about his professional activity, see www.cienciavitae.pt/en/461F-BC85-69B6. ::PT Ricardo J. Machado (DEng, MSc, PhD, Dr. Habil, MSOEP, SMIEEE, CSPM-ISPMA) é Professor Catedrático de Engenharia de Sistemas de Informação na Universidade do Minho e Fundador e Coordenador Científico do grupo de investigação SEMAG (Software-based Information Systems Engineering and Management) do Centro de Investigação ALGORITMI. Actualmente, é também Presidente do Instituto CCG/ZGDV e do DTx Laboratório Colaborativo em Transformação Digital. Os seus tópicos de investigação principais enquadram-se na modelação, requisitos e arquitectura de sistemas e na gestão de processos e projectos. Também tem interesses científicos em semântica da informação, ontologias e computação cognitiva. Nestes âmbitos, criou vários métodos e ferramentas para análise de requisitos e concepção de arquitecturas, nomeadamente o meta-modelo shobi-PN (uma extensão de redes de Petri orientadas a objectos) e o método 4SRS (4-Step Rule Set). É autor de mais de 200 artigos indexados, inventor de 4 patentes e editor/co-autor de vários livros, tais como "Requirements in Engineering Projects" da Springer-Switzerland e "Requisitos em Projetos de Software e de Sistemas de Informação" da Novatec-Brasil. Coordenou mais de 50 projectos de I&D, financiados pela FCT, ANI, IAPMEI e UE, destacando-se o "SSI: Sustainable Software Industry" em parceria com a Carnegie Mellon University (CMU), o "SusCity: Urban Data Driven Models for Creative and Resourceful Urban Transitions" em parceria com o Massachusetts Institute of Technology (MIT), o "C4E: Cloud for Europe" em parceria com o Fraunhofer FOKUS e o "iFlow: Inbound Logistics Tracking System" em parceria com a Bosch Car Multimedia. O seu forte compromisso com a investigação aplicada ao serviço da economia e da sociedade levou-o a promover a criação do EPMQ Lab do Instituto CCG/ZGDV, do DTx Laboratório Colaborativo em Transformação Digital e do ProChild CoLab Against Poverty and Social Exclusion. Desempenhou diversos cargos de liderança, tais como Vice-Reitor da UMinho, coordenando, nomeadamente, a estratégia e a política da UMinho para os sistemas de informação e qualidade institucional e os programas e as medidas da UMinho na área da computação avançada e cognitiva e aprendizagem computacional. Ricardo J. Machado obteve o grau de Licenciado em Engenharia Electrotécnica e de Computadores pela Universidade do Porto, os graus de Mestre e Doutor em Informática/Engenharia de Computadores e o título académico de Agregado em Tecnologias e Sistemas de Informação pela Universidade do Minho. Recebeu vários prémios e distinções, tais como o 2009 IEEE MGA Achievement Award e o 2016 APLOG Annual Logistics Excellence Award. Para mais informação, ver www.cienciavitae.pt/pt/461F-BC85-69B6.
Publications (253)
Normalized City Analytics Based on a Semantic Interoperability Process
Proceedings of the I-ESA Conferences
2024 | conference-paper
Activity based simulation–A modeling tool for new teaching-learning strategies
Journal of Simulation
2023 | journal-article
An Interoperable Cloud Platform for the Garment Industry
Lecture Notes in Networks and Systems
2023 | conference-paper
Combining Reference Models for Eliciting Requirements in Industry 4.0 Projects: A Demonstration Case
Proceedings of the I-ESA Conferences
2023 | conference-paper
Converging Data Mesh and Microservice Principles into a Unified Logical Architecture
Lecture Notes in Networks and Systems
2023 | conference-paper
DEVELOPMENT OF AN INTEROPERABILITY PLATFORM FOR INFORMATION SYSTEMS IN THE EHEALTH DOMAIN, FOR THE PORTUGUESE HEALTH SYSTEM
Proceedings of the International Conferences on ICT, Society, and Human Beings 2023, ICT 2023; and e-Health 2023, EH 2023; Connected Smart Cities 2023, CSC 2023; and Big Data Analytics, Data Mining and Computational Intelligence 2023, BigDaCI 2023
2023 | conference-paper
SMART-QUAL: a dashboard for quality measurement in higher education institutions
International Journal of Quality and Reliability Management
2023 | journal-article
Smart Cities Using Crowdsensing and Geoferenced Notifications
Lecture Notes in Networks and Systems
2023 | conference-paper
The adoption of 4step-rule-set method for ontological design: Application in a real industrial project
Procedia Computer Science
2023 | conference-paper
Development of a Self-Diagnosis Tests System for Integration in a Cyber-Physical System
SSRN
2022 | other
Development of a Self-Diagnosis Tests System for Integration in a Cyber-Physical System
SSRN
2022 | other
Development of a Self-diagnostic System Integrated into a Cyber-Physical System
Computers
2022 | journal-article
Using logical architecture models for inter-team management of distributed agile teams
International Journal of Information Technologies and Systems Approach
2022 | journal-article
A web-based Voice Interaction framework proposal for enhancing Information Systems user experience
Procedia Computer Science
2021 | conference-paper
Expert System that Assists the Cultivation of Mandacaru Aimed at the Production of Water and Food in the Interior of Northeastern Brazil
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Extended Maturity Model for Digital Transformation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Extending the scope of reference models for smart factories
Procedia Computer Science
2021 | conference-paper
Home Automation for People with Autism Spectrum Disorder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Leaning processes by mobile technologies in a Product Development Sample Shop
7th International Conference on Engineering and Emerging Technologies, ICEET 2021
2021 | conference-paper
Longevity of risks in software development projects: A comparative analysis with an academic environment
Procedia Computer Science
2021 | conference-paper
On the Rim Between Business Processes and Software Systems
Research Anthology on Agile Software, Software Development, and Testing
2021 | book-chapter
Running Workshops to Identify Wastes in a Product Development Sample Shop
Advances in Intelligent Systems and Computing
2021 | conference-paper
A unified reference model for smart cities
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2020 | conference-paper
AMPLA: An agile process for modeling logical architectures
Balancing Agile and Disciplined Engineering and Management Approaches for IT Services and Software Products
2020 | book-chapter
An Aligned Reference Model for Digital Factories
2020 IEEE 10th International Conference on Intelligent Systems, IS 2020 - Proceedings
2020 | conference-paper
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Critical factors for benefits realisation in collaborative university-industry R&D programs
International Journal of Project Organisation and Management
2020 | journal-article
Does the Lean Inception Methodology Contribute to the Software Project Initiation Phase?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Embedded System to Support Skin Cancer Recognition
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Reference models for intelligent cities: An aligned template
Developing and Monitoring Smart Environments for Intelligent Cities
2020 | book-chapter
Smart Cities: Using Gamification and Emotion Detection to Improve Citizens Well Fair and Commitment
Advances in Intelligent Systems and Computing
2020 | conference-paper
The roles of a Programme and Project Management Office to support collaborative university–industry R&D
Total Quality Management and Business Excellence
2020 | journal-article
Value of project management in university–industry R&D collaborations
International Journal of Managing Projects in Business
2020 | journal-article
A logical architecture design method for microservices architectures
ACM International Conference Proceeding Series
2019 | conference-paper
An extension of the improving and embedding project management practice framework: Case study analysis
International Journal of Managing Projects in Business
2019 | journal-article
Applying a Method for Measuring the Performance of University-Industry R&D Collaborations: Case Study Analysis
Procedia Computer Science
2019 | conference-paper
From Program Strategic Planning to Program Initiation: Lessons learned from a collaborative University-Industry RD case study
Proceedings - 2019 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2019
2019 | conference-paper
Guimarães: innovative and engaged city
Advances in Intelligent Systems and Computing
2019 | conference-paper
I&DT em colaboração universidade-indústria: modelo de governação
2019 | report
Inputs from a Model-Based Approach Towards the Specification of Microservices Logical Architectures: An Experience Report
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | conference-paper
Key Initiatives to Successfully Manage Collaborative University-Industry R&D: IC-HMI Case Study
Procedia Computer Science
2019 | conference-paper
Risk response strategies for collaborative university-industry R&D funded programs
Lecture Notes in Electrical Engineering
2019 | conference-paper
Systems Development for the Industrial IoT: Challenges from Industry R&D Projects
The Internet of Things in the Industrial Sector
2019 | book-chapter
Tailoring PMI and OGC Portfolio Frameworks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | conference-paper
Towards agile architecting: Proposing an architectural pathway within an industry 4.0 project
Lecture Notes in Business Information Processing
2019 | conference-paper
A Conceptual Social Media Tool for Supporting Collaborative University-Industry RD Programs
2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings
2018 | conference-paper
A retrofitting auction service business model proposal within a smart city context
2018 3rd International Conference on Fog and Mobile Edge Computing, FMEC 2018
2018 | conference-paper
Adoption of Architecture Reference Models for Industrial Information Management Systems
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
An agile modeling oriented process for logical architecture design
Lecture Notes in Business Information Processing
2018 | conference-paper
An experience report on using architectural models within distributed Scrum teams contexts
ACM International Conference Proceeding Series
2018 | conference-paper
Business Process Modeling Languages and their Data Representation Capabilities
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Deriving user stories for distributed Scrum teams from iterative refinement of architectural models
ACM International Conference Proceeding Series
2018 | conference-paper
IT Project Management Tool Requirements to Support Collaborative University-Industry RD
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Incremental architectural requirements for agile modeling: A case study within a Scrum project
ACM International Conference Proceeding Series
2018 | conference-paper
Mapping between PMI and OGC Artefacts for Project Portfolio Management
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Modeling in agile software development: Decomposing use cases towards logical architecture design
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | conference-paper
Patient-centric e-Prescription Services - An Integrated System Architecture Proposal
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Project management practices for collaborative university-industry R&D: A hybrid approach
Procedia Computer Science
2018 | conference-paper
Specifying software services for fog computing architectures using recursive model transformations
Fog Computing: Concepts, Frameworks and Technologies
2018 | book-chapter
Tailoring ISO/IEC/IEEE 29119-3 standard for small and medium-sized enterprises
Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018
2018 | conference-paper
UH4SP: A Software Platform for Integrated Management of Connected Smart Plants
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Measuring the Success of Collaborative University-Industry R&D Funded Contracts
7th IESM Conference
2017 | conference-paper
A Method for Measuring the Success of Collaborative University-Industry R&D Funded Contracts
Procedia Computer Science
2017 | conference-paper
Adopting logical architectures within agile projects
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
An analysis of the commonality and differences between ASPICE and ISO26262 in the context of software development
Communications in Computer and Information Science
2017 | conference-paper
Analysis of dengue outbreaks using big data analytics and social networks
2017 4th International Conference on Systems and Informatics, ICSAI 2017
2017 | conference-paper
Assessment of maturity models for smart cities supported by maturity model design principles
2017 IEEE International Conference on Smart Grid and Smart Cities, ICSGSC 2017
2017 | conference-paper
Input and output artefacts in portfolio practices from the OGC standard for Management of Portfolios
Proceedings of the 2017 17th International Conference on Computational Science and Its Applications, ICCSA 2017
2017 | conference-paper
Message from the conference chairs: QUATIC 2016
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Planning benefits realization in a collaborative university-industry R&D funded program
2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings
2017 | conference-paper
Project and program management implications in the portfolio management of IT projects in applied R&D organizations
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Project-based learning: An environment to prepare IT students for an industry career
Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications
2017 | book-chapter
Requisitos em projetos de software e de sistemas de informação
Novatec
2017 | book
Transition from information systems to service-oriented logical architectures: Formalizing steps and rules with QVT
Requirements Engineering for Service and Cloud Computing
2017 | book-chapter
Managing a Successful University-Industry Collaborative Funded Innovation Programme
XXVII ISPIM Innovation Conference
2016 | conference-paper
A quantitative study to assess a program and project management approach for collaborative university-industry R & D Funded Contracts
2016 International Conference on Engineering, Technology and Innovation/IEEE lnternational Technology Management Conference, ICE/ITMC 2016 - Proceedings
2016 | conference-paper
A three-dimensional approach for a quality-based alignment between requirements and architecture
Lecture Notes in Business Information Processing
2016 | conference-paper
Applying the paraconsistent annotated evidential logic Eτ in a solar tracker for photovoltaic panels: An analytical approach
IFIP Advances in Information and Communication Technology
2016 | conference-paper
Architectural element points: Estimating software development effort by analysis of logical architectures
Lecture Notes in Business Information Processing
2016 | conference-paper
Business modeling and requirements in RUP: A dependency analysis of activities, tasks and work products
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Dependency analysis between PMI portfolio management processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Deriving software design models from a set of business processes
MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development
2016 | conference-paper
FPGA vendor-agnostic IP-XACT- and XSLT-based RTL design generator
2016 | conference-paper
Improving photovoltaic applications through the paraconsistent annotated evidential logic Eτ
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Is scrum useful to mitigate project’s risks in real business contexts?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
MATRA: A framework for assessing model-based approaches on the transformation between requirements and architecture
Lecture Notes in Business Information Processing
2016 | conference-paper
Mapping between artefacts and portfolio processes from the PMI standard for portfolio management
Lecture Notes in Business Information Processing
2016 | conference-paper
Modeling an IaaS broker based on two cloud computing reference models
Proceedings - 2016 IEEE International Conference on Cloud Engineering Workshops, IC2EW 2016
2016 | conference-paper
Perceptions of Different Stakeholders on Managing Collaborative University-Industry R&D Funded Contracts
Procedia Computer Science
2016 | conference-paper
Project and Program Management Implications in the Portfolio Management of IT Projects in Applied R&D Organizations
Proceedings International Conference on the Quality of Information and Communications Technology (Quatic)
2016 | journal-article
Using scrum together with UML models: A collaborative university-industry R&D software project
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
iFloW: An integrated logistics software system for inbound supply chain traceability
Proceedings of the I-ESA Conferences
2016 | book-chapter
A Program and Project Management Approach for Collaborative University-industry R&D Funded Contracts
Procedia Computer Science
2015 | conference-paper
A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems
Ambient Assisted Living
2015 | book-chapter
A soaml approach for derivation of a process-oriented logical architecture from use cases
Lecture Notes in Business Information Processing
2015 | conference-paper
A three-dimensional, requirements-based, balanced scorecard business model
2015 6th International Conference on Information and Communication Systems, ICICS 2015
2015 | conference-paper
Aligning business requirements with services quality characteristics by using logical architectures
Advances in Intelligent Systems and Computing
2015 | conference-paper
Bridging the gap between a set of interrelated business process models and software models
ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
2015 | conference-paper
Deriving UML logical architectures of traceability business processes based on a GS1 standard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | conference-paper
Deriving a data model from a set of interrelated business process models
ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
2015 | conference-paper
Exploring a Three-Dimensional, Requirements-Based, Balanced Scorecard Business Model: On the Elicitation and Generation of a Business Model Canvas
Proceedings - 17th IEEE Conference on Business Informatics, CBI 2015
2015 | conference-paper
Power optimization in photovoltaic panels through the application of paraconsistent annotated evidential logic eτ
IFIP Advances in Information and Communication Technology
2015 | conference-paper
Preface
Lecture Notes in Business Information Processing
2015 | book
Promoting independent living and recreation in life through ambient assisted living technology
Ambient Assisted Living
2015 | book
Requirements in Engineering Projects
Requirements in Engineering Projects
2015 | book
An OMG-based meta-framework for alignment of IS/IT architecture with business models
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
An application to select collaborative project management software tools
Advances in Intelligent Systems and Computing
2014 | conference-paper
An emergent-based approach for deriving Business/IT Alignment models and measures through IS enactment
Information Systems Development: Transforming Organisations and Society Through Information Systems - Proceedings of the 23rd International Conference on Information Systems Development, ISD 2014
2014 | conference-paper
An empirical study on the estimation of size and complexity of software applications with function points analysis
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
Delivering user stories for implementing logical software architectures by multiple scrum teams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | conference-paper
Derivation of data-driven software models from business process representations
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
Development framework pattern for pervasive information systems
Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies
2014 | book-chapter
From business process models to use case models: A systematic approach
Lecture Notes in Business Information Processing
2014 | conference-paper
Generating a business model canvas through elicitation of business goals and rules from process-level use cases
Lecture Notes in Business Information Processing
2014 | conference-paper
Generating a business model through the elicitation of business goals and rules within a SPEM approach
Communications in Computer and Information Science
2014 | book
Importance of Risk Process in Management Software Projects in Small Companies
IFIP Advances in Information and Communication Technology
2014 | conference-paper
Introduction to Special Issue: Quality in Information and Communications Technology
Innovations in Systems and Software Engineering
2014 | journal-article
Message from conference chairs
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
Modularization of logical software architectures for implementation with multiple teams
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
On the decomposition of use cases for the refinement of software requirements
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
Project-based learning: An environment to prepare IT students for an industry career
Overcoming Challenges in Software Engineering Education: Delivering Non-Technical Knowledge and Skills
2014 | book-chapter
RUP alignment and coverage analysis of CMMI ML2 process areas for the context of software projects execution
Lecture Notes in Business Information Processing
2014 | conference-paper
Reasoning about space and time: Moving towards a theory of granularities
14th International Conference on Computational Science and its Applications (ICCSA 2014)
2014 | book-chapter
Using the NIST reference model for refining logical architectures
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | conference-paper
A V-model approach for business process requirements elicitation in cloud design
Advanced Web Services
2013 | book-chapter
A demonstration case on steps and rules for the transition from process-level to software logical architectures in enterprise models
Lecture Notes in Business Information Processing
2013 | book
A demonstration case on steps and rules for the transition from process-level to software logical architectures in enterprise models
Lecture Notes in Business Information Processing
2013 | conference-paper
A transformation of business process models into software-executable models using MDA
Lecture Notes in Business Information Processing
2013 | conference-paper
Aligning domain-related models for creating context for software product design
Lecture Notes in Business Information Processing
2013 | conference-paper
An empirical study on the estimation of software development effort with use case points
Proceedings - Frontiers in Education Conference, FIE
2013 | conference-paper
Applicability of risk process in software projects in accordance with ISO 31.000:2009
IFIP Advances in Information and Communication Technology
2013 | conference-paper
Complex-networks model analysis for the conceptualization of information systems development
Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2013
2013 | conference-paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | book
Mapping CMMI and RUP process frameworks for the context of elaborating software project proposals
Lecture Notes in Business Information Processing
2013 | conference-paper
Modeling the alignment between business and IS/IT: A requirements engineering perspective
Proceedings of the ACM Symposium on Applied Computing
2013 | conference-paper
Transition from process- to product-level perspective for business software
Lecture Notes in Business Information Processing
2013 | conference-paper
A case studies approach to the analysis of profiling and framing structures for pervasive information systems
International Journal of Web Portals
2012 | journal-article
A reduced set of RUP roles to small software development teams
2012 International Conference on Software and System Process, ICSSP 2012 - Proceedings
2012 | conference-paper
A software framework for supporting ubiquitous business processes: An ANSI/ISA-95 approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Atas de workshops
CEUR-WS
2012 | book
BIM: A methodology to transform business processes into software systems
Lecture Notes in Business Information Processing
2012 | conference-paper
Derivation of process-oriented logical architectures: An elicitation approach for cloud design
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | conference-paper
Experimental software engineering in educational context
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
From business process modeling to data model: A systematic approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Gatewaying IEEE 1149.1 and IEEE 1149.7 test access ports
Proceedings of the 2012 IEEE 18th International On-Line Testing Symposium, IOLTS 2012
2012 | conference-paper
Mapping RUP roles to small software development teams
Lecture Notes in Business Information Processing
2012 | conference-paper
Modeling organizational information system architecture using "complex networks" concepts
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
On the refinement of use case models with variability support
Innovations in Systems and Software Engineering
2012 | journal-article
On the use of model transformations for the automation of the 4SRS transition method
Lecture Notes in Business Information Processing
2012 | conference-paper
Ontologies for product and process traceability at manufacturing organizations: A software requirements approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Profiling and framing structures for pervasive information systems development
Communications in Computer and Information Science
2012 | conference-paper
Recent advances in petri nets and concurrency
2012 | book
SPEM 2.0 extension for pervasive information systems
WSEAS Transactions on Computers
2012 | journal-article
An approach to software process design and implementation using transition rules
Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
2011 | conference-paper
Entre lo Virtual y lo Real: La Tecnologia y la Ciudad como una Oportunidad y un Desafio para la Educación del Futuro
ACTAS II CONGRESO INTERNACIONAL DE CIUDADES CREATIVAS
2011 | journal-article
Supporting audits and assessments in multi-model environments
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | conference-paper
Tailoring RUP to small software development teams
Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
2011 | conference-paper
An apporach to improving software inspections performance
IEEE International Conference on Software Maintenance, ICSM
2010 | conference-paper
Dependency analysis between CMMI process areas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
Influence of the Bologna Accord in Software Engineering Curriculum Development
The Interface
2010 | journal-article
On the derivation of class diagrams from use cases and logical software architectures
Proceedings - 5th International Conference on Software Engineering Advances, ICSEA 2010
2010 | conference-paper
Preface
CEUR Workshop Proceedings
2010 | conference-paper
Quantitative analysis of best practices models in the software domain
Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2010 | conference-paper
Scenario-based modeling in industrial information systems
IFIP Advances in Information and Communication Technology
2010 | conference-paper
Size and complexity attributes for multimodel improvement framework taxonomy
Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010
2010 | conference-paper
Support for variability in use case modeling with refinement
Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010
2010 | conference-paper
Systematic use of software development patterns through a multilevel and multistage classification
Model-Driven Domain Analysis and Software Development: Architectures and Functions
2010 | book-chapter
The UML «extend» relationship as support for software variability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
The UML «include» relationship and the functional refinement of use cases
Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010
2010 | conference-paper
A model-driven approach for the derivation of architectural requirements of software product lines
Innovations in Systems and Software Engineering
2009 | conference-paper
A requirements engineering and management training course for software development professionals
Proceedings - 22nd Conference on Software Engineering Education and Training, CSEET 2009
2009 | conference-paper
An ontology-based approach to model-driven software product lines
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Inception of software validation and verification practices within CMMI level 2
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Introduction to special issue: Model-based development methodologies
Innovations in Systems and Software Engineering
2009 | journal-article
Model-based methodologies for pervasive and embedded software
2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009
2009 | conference-paper
Multistage model transformations in software product lines
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Preface: ICSEA 2009
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Proceedings of 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009)
IEEE
2009 | edited-book
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009: Foreword
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
2009 | conference-paper
Refinement of software product line architectures through recursive modeling techniques
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | conference-paper
Software process improvement in multimodel environments
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education
Proceedings - Frontiers in Education Conference, FIE
2009 | conference-paper
Message from the organizers
Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
2008 | conference-paper
Model-driven development for pervasive information systems
Advances in Ubiquitous Computing: Future Paradigms and Directions
2008 | book-chapter
Proceedings of 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008)
IEEE Computer Society Press
2008 | edited-book
Transformation patterns for multi-staged model driven software development
Proceedings - 12th International Software Product Line Conference, SPLC 2008
2008 | conference-paper
Adopting computational independent models for derivation of architectural requirements of software product lines
Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | conference-paper
Automated information systems generation for process-oriented organizations
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Automating mappings between use case diagrams and feature models for software product lines
Proceedings - 11th International Software Product Line Conference, SPLC 2007
2007 | conference-paper
Message from the Organizers
Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | conference-paper
Message from the conference chairs
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Model driven development of software product lines
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Model-driven software development for pervasive information systems implementation
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Proceedings of 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)
IEEE Computer Society Press
2007 | edited-book
Requirements validation: Execution of UML models with CPN tools
International Journal on Software Tools for Technology Transfer
2007 | journal-article
Teaching embedded systems engineering in a software-oriented computing degree
Proceedings - Frontiers in Education Conference, FIE
2007 | conference-paper
A Demonstration Case on the Transformation of Software Architectures for Mobile Applications
5th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006)
2006 | conference-paper
A demonstration case on the transformation of software architectures for service specification
IFIP International Federation for Information Processing
2006 | conference-paper
A two-year software engineering M.Sc. degree designed under the bologna declaration principles
2006 International Conference on Software Engineering Advances, ICSEA'06
2006 | conference-paper
Business modeling in process-oriented organizations for rup-based software development
Reference Modeling for Business Systems Analysis
2006 | book-chapter
Extending UML 2.0 metamodel for complementary usages of the «extend» relationship within use case variability specification
Proceedings - 10th International Software Product Line Conference, SPLC 2006
2006 | conference-paper
Message from the organizers
Proc. - Joint Meeting of the 4th Workshop on Model-Based Dev. of Computer-Based Systems and the 3rd Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006
2006 | conference-paper
Preface
IFIP Advances in Information and Communication Technology
2006 | book
Proceedings of Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems (MBD) and 3rd International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2006)
IEEE Computer Society Press
2006 | edited-book
Refinement of software architectures by recursive model transformations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | conference-paper
Deriving software product line's architectural requirements from use cases: An experimental approach
Proceedings of MOMPES 2005 - 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
2005 | conference-paper
Guest Editors' Foreword
Nordic Journal of Computing
2005 | journal-article
Integration of embedded software with corporate information systems
IFIP Advances in Information and Communication Technology
2005 | book
Introduction
Proceedings of MOMPES 2005 - 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
2005 | conference-paper
Proceedings of the 2nd Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2005)
TUCS General Publication
2005 | edited-book
Specification of requirements models
Engineering and Managing Software Requirements
2005 | book-chapter
Transformation of UML models for service-oriented software architectures
Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
2005 | conference-paper
A multi-level design pattern for embedded software
IFIP Advances in Information and Communication Technology
2004 | conference-paper
Domain engineering in support to the increase of software systems flexibility,Engenharia de Domínio no Suporte ao Aumento de Flexibilidade nos Sistemas de Software
CEUR Workshop Proceedings
2004 | conference-paper
Model-driven methodologies for pervasive information systems development
2004 | conference-paper
Can UML be a system-language for embedded software?
3rd IFIP International Workshop on Distributed and Parallel Embedded Systems (DIPES 2002)
2002 | conference-paper
Cutaneous lesions observed in two groups of HIV positive patients in use of different antiretroviral regimens,Manifestações cutâneas observadas em dois grupos de pacientes HIV positivos em uso de diferentes esquemas antiretrovirais
Medicina Cutanea Ibero-Latino-Americana
2002 | journal-article
Heterogeneous Information Systems Integration: Organizations and Tools
4th International Conference on Product Focused Software Process Improvement (PROFES 2002)
2002 | conference-paper
Heterogeneous information systems integration: Organizations and methodologies
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | conference-paper
A Petri net meta-model to develop software components for embedded systems
Proceedings - International Conference on Application of Concurrency to System Design, ACSD
2001 | conference-paper
A methodology for complex embedded systems design: Petri nets within a UML approach
IFIP Advances in Information and Communication Technology
2001 | conference-paper
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis
7th International Conference on Object-Oriented Information Systems (OOIS 2001)
2001 | conference-paper
System-level object-orientation in the specification and validation of embedded systems
Proceedings - 14th Symposium on Integrated Circuits and Systems Design, SBCCI 2001
2001 | conference-paper
System-level object-orientation in the specification and validation of embedded systems
14th Symposium on Integrated Circuits and Systems Design, Proceedings
2001 | journal-article
Sistemas de informação industriais orientados ao controlo: perspectivas metodológicas para tecnologias reconfiguráveis
Ingenium
2000 | magazine-article
An evolutionary approach to the use of Petri Net based models - From parallel controllers to HW/SW codesign
Hardware Design and Petri Nets
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | conference-paper
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
A UML-based approach for modeling industrial control applications
1999 | conference-paper
An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study
9th IFAC Symposium on Information Control in Manufacturing (INCOM 1998)
1998 | conference-paper
Hierarchical Mechanisms for High-level Modelling and Simulation of Digital Systems
5th IEEE International Conference on Electronics, Circuits and Systems (ICECS 1998)
1998 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Projecto de hardware digital orientado por objectos
Anais da Engenharia e Tecnologia Electrotécnica
1997 | magazine-article
Redes de Petri e VHDL na prototipagem rápida de sistemas digitais
3.º Encontro Nacional do Colégio de Engenharia Electrotécnica (ENCEE 1997)
1997 | conference-paper
Genetic regulatory mechanisms by means of Extended Interactive Petri Nets
Smc '97 Conference Proceedings - 1997 Ieee International Conference on Systems, Man, and Cybernetics, Vols 1-5
1997 | book-chapter
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | conference-paper
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Redes de Petri e VHDL na Prototipagem Rápida de Sistemas Digitais
3o Encontro Nacional do Colégio de Engenharia Electrotécnica - ENCEE'1997
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
Isie '97 - Proceedings of the Ieee International Symposium on Industrial Electronics, Vols 1-3
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
History
| Init | End | Change | Value |
|---|
Normalized City Analytics Based on a Semantic Interoperability Process
Proceedings of the I-ESA Conferences
2024 | conference-paper
Activity based simulation–A modeling tool for new teaching-learning strategies
Journal of Simulation
2023 | journal-article
An Interoperable Cloud Platform for the Garment Industry
Lecture Notes in Networks and Systems
2023 | conference-paper
Combining Reference Models for Eliciting Requirements in Industry 4.0 Projects: A Demonstration Case
Proceedings of the I-ESA Conferences
2023 | conference-paper
Converging Data Mesh and Microservice Principles into a Unified Logical Architecture
Lecture Notes in Networks and Systems
2023 | conference-paper
DEVELOPMENT OF AN INTEROPERABILITY PLATFORM FOR INFORMATION SYSTEMS IN THE EHEALTH DOMAIN, FOR THE PORTUGUESE HEALTH SYSTEM
Proceedings of the International Conferences on ICT, Society, and Human Beings 2023, ICT 2023; and e-Health 2023, EH 2023; Connected Smart Cities 2023, CSC 2023; and Big Data Analytics, Data Mining and Computational Intelligence 2023, BigDaCI 2023
2023 | conference-paper
SMART-QUAL: a dashboard for quality measurement in higher education institutions
International Journal of Quality and Reliability Management
2023 | journal-article
Smart Cities Using Crowdsensing and Geoferenced Notifications
Lecture Notes in Networks and Systems
2023 | conference-paper
The adoption of 4step-rule-set method for ontological design: Application in a real industrial project
Procedia Computer Science
2023 | conference-paper
Development of a Self-Diagnosis Tests System for Integration in a Cyber-Physical System
SSRN
2022 | other
Development of a Self-Diagnosis Tests System for Integration in a Cyber-Physical System
SSRN
2022 | other
Development of a Self-diagnostic System Integrated into a Cyber-Physical System
Computers
2022 | journal-article
Using logical architecture models for inter-team management of distributed agile teams
International Journal of Information Technologies and Systems Approach
2022 | journal-article
A web-based Voice Interaction framework proposal for enhancing Information Systems user experience
Procedia Computer Science
2021 | conference-paper
Expert System that Assists the Cultivation of Mandacaru Aimed at the Production of Water and Food in the Interior of Northeastern Brazil
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Extended Maturity Model for Digital Transformation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Extending the scope of reference models for smart factories
Procedia Computer Science
2021 | conference-paper
Home Automation for People with Autism Spectrum Disorder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | conference-paper
Leaning processes by mobile technologies in a Product Development Sample Shop
7th International Conference on Engineering and Emerging Technologies, ICEET 2021
2021 | conference-paper
Longevity of risks in software development projects: A comparative analysis with an academic environment
Procedia Computer Science
2021 | conference-paper
On the Rim Between Business Processes and Software Systems
Research Anthology on Agile Software, Software Development, and Testing
2021 | book-chapter
Running Workshops to Identify Wastes in a Product Development Sample Shop
Advances in Intelligent Systems and Computing
2021 | conference-paper
A unified reference model for smart cities
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2020 | conference-paper
AMPLA: An agile process for modeling logical architectures
Balancing Agile and Disciplined Engineering and Management Approaches for IT Services and Software Products
2020 | book-chapter
An Aligned Reference Model for Digital Factories
2020 IEEE 10th International Conference on Intelligent Systems, IS 2020 - Proceedings
2020 | conference-paper
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Critical factors for benefits realisation in collaborative university-industry R&D programs
International Journal of Project Organisation and Management
2020 | journal-article
Does the Lean Inception Methodology Contribute to the Software Project Initiation Phase?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Embedded System to Support Skin Cancer Recognition
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Reference models for intelligent cities: An aligned template
Developing and Monitoring Smart Environments for Intelligent Cities
2020 | book-chapter
Smart Cities: Using Gamification and Emotion Detection to Improve Citizens Well Fair and Commitment
Advances in Intelligent Systems and Computing
2020 | conference-paper
The roles of a Programme and Project Management Office to support collaborative university–industry R&D
Total Quality Management and Business Excellence
2020 | journal-article
Value of project management in university–industry R&D collaborations
International Journal of Managing Projects in Business
2020 | journal-article
A logical architecture design method for microservices architectures
ACM International Conference Proceeding Series
2019 | conference-paper
An extension of the improving and embedding project management practice framework: Case study analysis
International Journal of Managing Projects in Business
2019 | journal-article
Applying a Method for Measuring the Performance of University-Industry R&D Collaborations: Case Study Analysis
Procedia Computer Science
2019 | conference-paper
From Program Strategic Planning to Program Initiation: Lessons learned from a collaborative University-Industry RD case study
Proceedings - 2019 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2019
2019 | conference-paper
Guimarães: innovative and engaged city
Advances in Intelligent Systems and Computing
2019 | conference-paper
I&DT em colaboração universidade-indústria: modelo de governação
2019 | report
Inputs from a Model-Based Approach Towards the Specification of Microservices Logical Architectures: An Experience Report
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | conference-paper
Key Initiatives to Successfully Manage Collaborative University-Industry R&D: IC-HMI Case Study
Procedia Computer Science
2019 | conference-paper
Risk response strategies for collaborative university-industry R&D funded programs
Lecture Notes in Electrical Engineering
2019 | conference-paper
Systems Development for the Industrial IoT: Challenges from Industry R&D Projects
The Internet of Things in the Industrial Sector
2019 | book-chapter
Tailoring PMI and OGC Portfolio Frameworks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | conference-paper
Towards agile architecting: Proposing an architectural pathway within an industry 4.0 project
Lecture Notes in Business Information Processing
2019 | conference-paper
A Conceptual Social Media Tool for Supporting Collaborative University-Industry RD Programs
2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings
2018 | conference-paper
A retrofitting auction service business model proposal within a smart city context
2018 3rd International Conference on Fog and Mobile Edge Computing, FMEC 2018
2018 | conference-paper
Adoption of Architecture Reference Models for Industrial Information Management Systems
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
An agile modeling oriented process for logical architecture design
Lecture Notes in Business Information Processing
2018 | conference-paper
An experience report on using architectural models within distributed Scrum teams contexts
ACM International Conference Proceeding Series
2018 | conference-paper
Business Process Modeling Languages and their Data Representation Capabilities
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Deriving user stories for distributed Scrum teams from iterative refinement of architectural models
ACM International Conference Proceeding Series
2018 | conference-paper
IT Project Management Tool Requirements to Support Collaborative University-Industry RD
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Incremental architectural requirements for agile modeling: A case study within a Scrum project
ACM International Conference Proceeding Series
2018 | conference-paper
Mapping between PMI and OGC Artefacts for Project Portfolio Management
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Modeling in agile software development: Decomposing use cases towards logical architecture design
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | conference-paper
Patient-centric e-Prescription Services - An Integrated System Architecture Proposal
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Project management practices for collaborative university-industry R&D: A hybrid approach
Procedia Computer Science
2018 | conference-paper
Specifying software services for fog computing architectures using recursive model transformations
Fog Computing: Concepts, Frameworks and Technologies
2018 | book-chapter
Tailoring ISO/IEC/IEEE 29119-3 standard for small and medium-sized enterprises
Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018
2018 | conference-paper
UH4SP: A Software Platform for Integrated Management of Connected Smart Plants
9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
2018 | conference-paper
Measuring the Success of Collaborative University-Industry R&D Funded Contracts
7th IESM Conference
2017 | conference-paper
A Method for Measuring the Success of Collaborative University-Industry R&D Funded Contracts
Procedia Computer Science
2017 | conference-paper
Adopting logical architectures within agile projects
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
An analysis of the commonality and differences between ASPICE and ISO26262 in the context of software development
Communications in Computer and Information Science
2017 | conference-paper
Analysis of dengue outbreaks using big data analytics and social networks
2017 4th International Conference on Systems and Informatics, ICSAI 2017
2017 | conference-paper
Assessment of maturity models for smart cities supported by maturity model design principles
2017 IEEE International Conference on Smart Grid and Smart Cities, ICSGSC 2017
2017 | conference-paper
Input and output artefacts in portfolio practices from the OGC standard for Management of Portfolios
Proceedings of the 2017 17th International Conference on Computational Science and Its Applications, ICCSA 2017
2017 | conference-paper
Message from the conference chairs: QUATIC 2016
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Planning benefits realization in a collaborative university-industry R&D funded program
2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings
2017 | conference-paper
Project and program management implications in the portfolio management of IT projects in applied R&D organizations
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Project-based learning: An environment to prepare IT students for an industry career
Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications
2017 | book-chapter
Requisitos em projetos de software e de sistemas de informação
Novatec
2017 | book
Transition from information systems to service-oriented logical architectures: Formalizing steps and rules with QVT
Requirements Engineering for Service and Cloud Computing
2017 | book-chapter
Managing a Successful University-Industry Collaborative Funded Innovation Programme
XXVII ISPIM Innovation Conference
2016 | conference-paper
A quantitative study to assess a program and project management approach for collaborative university-industry R & D Funded Contracts
2016 International Conference on Engineering, Technology and Innovation/IEEE lnternational Technology Management Conference, ICE/ITMC 2016 - Proceedings
2016 | conference-paper
A three-dimensional approach for a quality-based alignment between requirements and architecture
Lecture Notes in Business Information Processing
2016 | conference-paper
Applying the paraconsistent annotated evidential logic Eτ in a solar tracker for photovoltaic panels: An analytical approach
IFIP Advances in Information and Communication Technology
2016 | conference-paper
Architectural element points: Estimating software development effort by analysis of logical architectures
Lecture Notes in Business Information Processing
2016 | conference-paper
Business modeling and requirements in RUP: A dependency analysis of activities, tasks and work products
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Dependency analysis between PMI portfolio management processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Deriving software design models from a set of business processes
MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development
2016 | conference-paper
FPGA vendor-agnostic IP-XACT- and XSLT-based RTL design generator
2016 | conference-paper
Improving photovoltaic applications through the paraconsistent annotated evidential logic Eτ
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
Is scrum useful to mitigate project’s risks in real business contexts?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
MATRA: A framework for assessing model-based approaches on the transformation between requirements and architecture
Lecture Notes in Business Information Processing
2016 | conference-paper
Mapping between artefacts and portfolio processes from the PMI standard for portfolio management
Lecture Notes in Business Information Processing
2016 | conference-paper
Modeling an IaaS broker based on two cloud computing reference models
Proceedings - 2016 IEEE International Conference on Cloud Engineering Workshops, IC2EW 2016
2016 | conference-paper
Perceptions of Different Stakeholders on Managing Collaborative University-Industry R&D Funded Contracts
Procedia Computer Science
2016 | conference-paper
Project and Program Management Implications in the Portfolio Management of IT Projects in Applied R&D Organizations
Proceedings International Conference on the Quality of Information and Communications Technology (Quatic)
2016 | journal-article
Using scrum together with UML models: A collaborative university-industry R&D software project
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | conference-paper
iFloW: An integrated logistics software system for inbound supply chain traceability
Proceedings of the I-ESA Conferences
2016 | book-chapter
A Program and Project Management Approach for Collaborative University-industry R&D Funded Contracts
Procedia Computer Science
2015 | conference-paper
A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems
Ambient Assisted Living
2015 | book-chapter
A soaml approach for derivation of a process-oriented logical architecture from use cases
Lecture Notes in Business Information Processing
2015 | conference-paper
A three-dimensional, requirements-based, balanced scorecard business model
2015 6th International Conference on Information and Communication Systems, ICICS 2015
2015 | conference-paper
Aligning business requirements with services quality characteristics by using logical architectures
Advances in Intelligent Systems and Computing
2015 | conference-paper
Bridging the gap between a set of interrelated business process models and software models
ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
2015 | conference-paper
Deriving UML logical architectures of traceability business processes based on a GS1 standard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | conference-paper
Deriving a data model from a set of interrelated business process models
ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
2015 | conference-paper
Exploring a Three-Dimensional, Requirements-Based, Balanced Scorecard Business Model: On the Elicitation and Generation of a Business Model Canvas
Proceedings - 17th IEEE Conference on Business Informatics, CBI 2015
2015 | conference-paper
Power optimization in photovoltaic panels through the application of paraconsistent annotated evidential logic eτ
IFIP Advances in Information and Communication Technology
2015 | conference-paper
Preface
Lecture Notes in Business Information Processing
2015 | book
Promoting independent living and recreation in life through ambient assisted living technology
Ambient Assisted Living
2015 | book
Requirements in Engineering Projects
Requirements in Engineering Projects
2015 | book
An OMG-based meta-framework for alignment of IS/IT architecture with business models
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
An application to select collaborative project management software tools
Advances in Intelligent Systems and Computing
2014 | conference-paper
An emergent-based approach for deriving Business/IT Alignment models and measures through IS enactment
Information Systems Development: Transforming Organisations and Society Through Information Systems - Proceedings of the 23rd International Conference on Information Systems Development, ISD 2014
2014 | conference-paper
An empirical study on the estimation of size and complexity of software applications with function points analysis
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
Delivering user stories for implementing logical software architectures by multiple scrum teams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | conference-paper
Derivation of data-driven software models from business process representations
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
Development framework pattern for pervasive information systems
Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies
2014 | book-chapter
From business process models to use case models: A systematic approach
Lecture Notes in Business Information Processing
2014 | conference-paper
Generating a business model canvas through elicitation of business goals and rules from process-level use cases
Lecture Notes in Business Information Processing
2014 | conference-paper
Generating a business model through the elicitation of business goals and rules within a SPEM approach
Communications in Computer and Information Science
2014 | book
Importance of Risk Process in Management Software Projects in Small Companies
IFIP Advances in Information and Communication Technology
2014 | conference-paper
Introduction to Special Issue: Quality in Information and Communications Technology
Innovations in Systems and Software Engineering
2014 | journal-article
Message from conference chairs
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
2014 | conference-paper
Modularization of logical software architectures for implementation with multiple teams
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
On the decomposition of use cases for the refinement of software requirements
Proceedings - 14th International Conference on Computational Science and Its Applications, ICCSA 2014
2014 | conference-paper
Project-based learning: An environment to prepare IT students for an industry career
Overcoming Challenges in Software Engineering Education: Delivering Non-Technical Knowledge and Skills
2014 | book-chapter
RUP alignment and coverage analysis of CMMI ML2 process areas for the context of software projects execution
Lecture Notes in Business Information Processing
2014 | conference-paper
Reasoning about space and time: Moving towards a theory of granularities
14th International Conference on Computational Science and its Applications (ICCSA 2014)
2014 | book-chapter
Using the NIST reference model for refining logical architectures
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | conference-paper
A V-model approach for business process requirements elicitation in cloud design
Advanced Web Services
2013 | book-chapter
A demonstration case on steps and rules for the transition from process-level to software logical architectures in enterprise models
Lecture Notes in Business Information Processing
2013 | book
A demonstration case on steps and rules for the transition from process-level to software logical architectures in enterprise models
Lecture Notes in Business Information Processing
2013 | conference-paper
A transformation of business process models into software-executable models using MDA
Lecture Notes in Business Information Processing
2013 | conference-paper
Aligning domain-related models for creating context for software product design
Lecture Notes in Business Information Processing
2013 | conference-paper
An empirical study on the estimation of software development effort with use case points
Proceedings - Frontiers in Education Conference, FIE
2013 | conference-paper
Applicability of risk process in software projects in accordance with ISO 31.000:2009
IFIP Advances in Information and Communication Technology
2013 | conference-paper
Complex-networks model analysis for the conceptualization of information systems development
Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2013
2013 | conference-paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | book
Mapping CMMI and RUP process frameworks for the context of elaborating software project proposals
Lecture Notes in Business Information Processing
2013 | conference-paper
Modeling the alignment between business and IS/IT: A requirements engineering perspective
Proceedings of the ACM Symposium on Applied Computing
2013 | conference-paper
Transition from process- to product-level perspective for business software
Lecture Notes in Business Information Processing
2013 | conference-paper
A case studies approach to the analysis of profiling and framing structures for pervasive information systems
International Journal of Web Portals
2012 | journal-article
A reduced set of RUP roles to small software development teams
2012 International Conference on Software and System Process, ICSSP 2012 - Proceedings
2012 | conference-paper
A software framework for supporting ubiquitous business processes: An ANSI/ISA-95 approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Atas de workshops
CEUR-WS
2012 | book
BIM: A methodology to transform business processes into software systems
Lecture Notes in Business Information Processing
2012 | conference-paper
Derivation of process-oriented logical architectures: An elicitation approach for cloud design
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | conference-paper
Experimental software engineering in educational context
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
From business process modeling to data model: A systematic approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Gatewaying IEEE 1149.1 and IEEE 1149.7 test access ports
Proceedings of the 2012 IEEE 18th International On-Line Testing Symposium, IOLTS 2012
2012 | conference-paper
Mapping RUP roles to small software development teams
Lecture Notes in Business Information Processing
2012 | conference-paper
Modeling organizational information system architecture using "complex networks" concepts
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
On the refinement of use case models with variability support
Innovations in Systems and Software Engineering
2012 | journal-article
On the use of model transformations for the automation of the 4SRS transition method
Lecture Notes in Business Information Processing
2012 | conference-paper
Ontologies for product and process traceability at manufacturing organizations: A software requirements approach
Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
2012 | conference-paper
Profiling and framing structures for pervasive information systems development
Communications in Computer and Information Science
2012 | conference-paper
Recent advances in petri nets and concurrency
2012 | book
SPEM 2.0 extension for pervasive information systems
WSEAS Transactions on Computers
2012 | journal-article
An approach to software process design and implementation using transition rules
Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
2011 | conference-paper
Entre lo Virtual y lo Real: La Tecnologia y la Ciudad como una Oportunidad y un Desafio para la Educación del Futuro
ACTAS II CONGRESO INTERNACIONAL DE CIUDADES CREATIVAS
2011 | journal-article
Supporting audits and assessments in multi-model environments
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | conference-paper
Tailoring RUP to small software development teams
Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
2011 | conference-paper
An apporach to improving software inspections performance
IEEE International Conference on Software Maintenance, ICSM
2010 | conference-paper
Dependency analysis between CMMI process areas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
Influence of the Bologna Accord in Software Engineering Curriculum Development
The Interface
2010 | journal-article
On the derivation of class diagrams from use cases and logical software architectures
Proceedings - 5th International Conference on Software Engineering Advances, ICSEA 2010
2010 | conference-paper
Preface
CEUR Workshop Proceedings
2010 | conference-paper
Quantitative analysis of best practices models in the software domain
Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2010 | conference-paper
Scenario-based modeling in industrial information systems
IFIP Advances in Information and Communication Technology
2010 | conference-paper
Size and complexity attributes for multimodel improvement framework taxonomy
Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010
2010 | conference-paper
Support for variability in use case modeling with refinement
Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010
2010 | conference-paper
Systematic use of software development patterns through a multilevel and multistage classification
Model-Driven Domain Analysis and Software Development: Architectures and Functions
2010 | book-chapter
The UML «extend» relationship as support for software variability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
The UML «include» relationship and the functional refinement of use cases
Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010
2010 | conference-paper
A model-driven approach for the derivation of architectural requirements of software product lines
Innovations in Systems and Software Engineering
2009 | conference-paper
A requirements engineering and management training course for software development professionals
Proceedings - 22nd Conference on Software Engineering Education and Training, CSEET 2009
2009 | conference-paper
An ontology-based approach to model-driven software product lines
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Inception of software validation and verification practices within CMMI level 2
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Introduction to special issue: Model-based development methodologies
Innovations in Systems and Software Engineering
2009 | journal-article
Model-based methodologies for pervasive and embedded software
2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009
2009 | conference-paper
Multistage model transformations in software product lines
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Preface: ICSEA 2009
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Proceedings of 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009)
IEEE
2009 | edited-book
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009: Foreword
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
2009 | conference-paper
Refinement of software product line architectures through recursive modeling techniques
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | conference-paper
Software process improvement in multimodel environments
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education
Proceedings - Frontiers in Education Conference, FIE
2009 | conference-paper
Message from the organizers
Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
2008 | conference-paper
Model-driven development for pervasive information systems
Advances in Ubiquitous Computing: Future Paradigms and Directions
2008 | book-chapter
Proceedings of 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008)
IEEE Computer Society Press
2008 | edited-book
Transformation patterns for multi-staged model driven software development
Proceedings - 12th International Software Product Line Conference, SPLC 2008
2008 | conference-paper
Adopting computational independent models for derivation of architectural requirements of software product lines
Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | conference-paper
Automated information systems generation for process-oriented organizations
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Automating mappings between use case diagrams and feature models for software product lines
Proceedings - 11th International Software Product Line Conference, SPLC 2007
2007 | conference-paper
Message from the Organizers
Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | conference-paper
Message from the conference chairs
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Model driven development of software product lines
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Model-driven software development for pervasive information systems implementation
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Proceedings of 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)
IEEE Computer Society Press
2007 | edited-book
Requirements validation: Execution of UML models with CPN tools
International Journal on Software Tools for Technology Transfer
2007 | journal-article
Teaching embedded systems engineering in a software-oriented computing degree
Proceedings - Frontiers in Education Conference, FIE
2007 | conference-paper
A Demonstration Case on the Transformation of Software Architectures for Mobile Applications
5th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006)
2006 | conference-paper
A demonstration case on the transformation of software architectures for service specification
IFIP International Federation for Information Processing
2006 | conference-paper
A two-year software engineering M.Sc. degree designed under the bologna declaration principles
2006 International Conference on Software Engineering Advances, ICSEA'06
2006 | conference-paper
Business modeling in process-oriented organizations for rup-based software development
Reference Modeling for Business Systems Analysis
2006 | book-chapter
Extending UML 2.0 metamodel for complementary usages of the «extend» relationship within use case variability specification
Proceedings - 10th International Software Product Line Conference, SPLC 2006
2006 | conference-paper
Message from the organizers
Proc. - Joint Meeting of the 4th Workshop on Model-Based Dev. of Computer-Based Systems and the 3rd Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006
2006 | conference-paper
Preface
IFIP Advances in Information and Communication Technology
2006 | book
Proceedings of Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems (MBD) and 3rd International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2006)
IEEE Computer Society Press
2006 | edited-book
Refinement of software architectures by recursive model transformations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | conference-paper
Deriving software product line's architectural requirements from use cases: An experimental approach
Proceedings of MOMPES 2005 - 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
2005 | conference-paper
Guest Editors' Foreword
Nordic Journal of Computing
2005 | journal-article
Integration of embedded software with corporate information systems
IFIP Advances in Information and Communication Technology
2005 | book
Introduction
Proceedings of MOMPES 2005 - 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
2005 | conference-paper
Proceedings of the 2nd Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2005)
TUCS General Publication
2005 | edited-book
Specification of requirements models
Engineering and Managing Software Requirements
2005 | book-chapter
Transformation of UML models for service-oriented software architectures
Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
2005 | conference-paper
A multi-level design pattern for embedded software
IFIP Advances in Information and Communication Technology
2004 | conference-paper
Domain engineering in support to the increase of software systems flexibility,Engenharia de Domínio no Suporte ao Aumento de Flexibilidade nos Sistemas de Software
CEUR Workshop Proceedings
2004 | conference-paper
Model-driven methodologies for pervasive information systems development
2004 | conference-paper
Can UML be a system-language for embedded software?
3rd IFIP International Workshop on Distributed and Parallel Embedded Systems (DIPES 2002)
2002 | conference-paper
Cutaneous lesions observed in two groups of HIV positive patients in use of different antiretroviral regimens,Manifestações cutâneas observadas em dois grupos de pacientes HIV positivos em uso de diferentes esquemas antiretrovirais
Medicina Cutanea Ibero-Latino-Americana
2002 | journal-article
Heterogeneous Information Systems Integration: Organizations and Tools
4th International Conference on Product Focused Software Process Improvement (PROFES 2002)
2002 | conference-paper
Heterogeneous information systems integration: Organizations and methodologies
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | conference-paper
A Petri net meta-model to develop software components for embedded systems
Proceedings - International Conference on Application of Concurrency to System Design, ACSD
2001 | conference-paper
A methodology for complex embedded systems design: Petri nets within a UML approach
IFIP Advances in Information and Communication Technology
2001 | conference-paper
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis
7th International Conference on Object-Oriented Information Systems (OOIS 2001)
2001 | conference-paper
System-level object-orientation in the specification and validation of embedded systems
Proceedings - 14th Symposium on Integrated Circuits and Systems Design, SBCCI 2001
2001 | conference-paper
System-level object-orientation in the specification and validation of embedded systems
14th Symposium on Integrated Circuits and Systems Design, Proceedings
2001 | journal-article
Sistemas de informação industriais orientados ao controlo: perspectivas metodológicas para tecnologias reconfiguráveis
Ingenium
2000 | magazine-article
An evolutionary approach to the use of Petri Net based models - From parallel controllers to HW/SW codesign
Hardware Design and Petri Nets
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | conference-paper
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
Modeling industrial embedded systems with UML
Hardware/Software Codesign - Proceedings of the International Workshop
2000 | journal-article
A UML-based approach for modeling industrial control applications
1999 | conference-paper
An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study
9th IFAC Symposium on Information Control in Manufacturing (INCOM 1998)
1998 | conference-paper
Hierarchical Mechanisms for High-level Modelling and Simulation of Digital Systems
5th IEEE International Conference on Electronics, Circuits and Systems (ICECS 1998)
1998 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
Projecto de hardware digital orientado por objectos
Anais da Engenharia e Tecnologia Electrotécnica
1997 | magazine-article
Redes de Petri e VHDL na prototipagem rápida de sistemas digitais
3.º Encontro Nacional do Colégio de Engenharia Electrotécnica (ENCEE 1997)
1997 | conference-paper
Genetic regulatory mechanisms by means of Extended Interactive Petri Nets
Smc '97 Conference Proceedings - 1997 Ieee International Conference on Systems, Man, and Cybernetics, Vols 1-5
1997 | book-chapter
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | conference-paper
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Genetic regulatory mechanisms by means of extended interactive Petri Nets
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1997 | journal-article
Redes de Petri e VHDL na Prototipagem Rápida de Sistemas Digitais
3o Encontro Nacional do Colégio de Engenharia Electrotécnica - ENCEE'1997
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
SOFHIA: A CAD Environment to Design Digital Control Systems
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
Isie '97 - Proceedings of the Ieee International Symposium on Industrial Electronics, Vols 1-3
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
| Start | End | Term | Value | |
|---|---|---|---|---|
