This user account status is Approved
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

Integrated Researcher with Dr habil

Member of the IST R&D Group

Member of the SEMAG R&D Lab

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.pt

Orcid

0000-0002-3626-2569

Researcher ID

B-9487-2011

FCT Public Key

J015587jRfDT

Ciência ID

461F-BC85-69B6

Google Scholar

About Me



Extending the scope of reference models for smart factories

Procedia Computer Science

2021 | conference-paper

Longevity of risks in software development projects: A comparative analysis with an academic environment

Procedia Computer Science

2021 | conference-paper

Running Workshops to Identify Wastes in a Product Development Sample Shop

Advances in Intelligent Systems and Computing

2021 | book

A unified reference model for smart cities

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

2020 | book

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 | book

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 | book

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 | book

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

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 | book

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 | book

Tailoring PMI and OGC Portfolio Frameworks

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

2019 | book

Towards agile architecting: Proposing an architectural pathway within an industry 4.0 project

Lecture Notes in Business Information Processing

2019 | book

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 | book

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 | book

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

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

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

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

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 | book

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

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

Transition from information systems to service-oriented logical architectures: Formalizing steps and rules with QVT

Requirements Engineering for Service and Cloud Computing

2017 | book

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 | book

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 | book

Architectural element points: Estimating software development effort by analysis of logical architectures

Lecture Notes in Business Information Processing

2016 | book

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 | book

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 | book

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 | book

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 | book

MATRA: A framework for assessing model-based approaches on the transformation between requirements and architecture

Lecture Notes in Business Information Processing

2016 | book

Mapping between artefacts and portfolio processes from the PMI standard for portfolio management

Lecture Notes in Business Information Processing

2016 | book

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

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 | book

iFloW: An integrated logistics software system for inbound supply chain traceability

Proceedings of the I-ESA Conferences

2016 | conference-paper

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

A soaml approach for derivation of a process-oriented logical architecture from use cases

Lecture Notes in Business Information Processing

2015 | book

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 | book

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 | book

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 | book

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 | book

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 | book

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

From business process models to use case models: A systematic approach

Lecture Notes in Business Information Processing

2014 | book

Generating a business model canvas through elicitation of business goals and rules from process-level use cases

Lecture Notes in Business Information Processing

2014 | book

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 | book

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

RUP alignment and coverage analysis of CMMI ML2 process areas for the context of software projects execution

Lecture Notes in Business Information Processing

2014 | book

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 | book

A V-model approach for business process requirements elicitation in cloud design

Advanced Web Services

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 | 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 | book

A transformation of business process models into software-executable models using MDA

Lecture Notes in Business Information Processing

2013 | book

Aligning domain-related models for creating context for software product design

Lecture Notes in Business Information Processing

2013 | book

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 | book

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 | book

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 | book

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

BIM: A methodology to transform business processes into software systems

Lecture Notes in Business Information Processing

2012 | book

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 | book

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 | book

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 | book

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

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 | book

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 | book

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 | book

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

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 | book

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

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 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 | book

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

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

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 service specification

IFIP International Federation for Information Processing

2006 | book

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

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

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 | book

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

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

Specification of requirements models

Engineering and Managing Software Requirements

2005 | book

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 | book

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

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 methodologies

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

2002 | book

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 | book

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

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

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

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

Hardware Description Languages and their Applications

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

Extending the scope of reference models for smart factories

Procedia Computer Science

2021 | conference-paper

Longevity of risks in software development projects: A comparative analysis with an academic environment

Procedia Computer Science

2021 | conference-paper

Running Workshops to Identify Wastes in a Product Development Sample Shop

Advances in Intelligent Systems and Computing

2021 | book

A unified reference model for smart cities

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

2020 | book

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 | book

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 | book

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 | book

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

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 | book

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 | book

Tailoring PMI and OGC Portfolio Frameworks

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

2019 | book

Towards agile architecting: Proposing an architectural pathway within an industry 4.0 project

Lecture Notes in Business Information Processing

2019 | book

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 | book

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 | book

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

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

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

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

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 | book

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

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

Transition from information systems to service-oriented logical architectures: Formalizing steps and rules with QVT

Requirements Engineering for Service and Cloud Computing

2017 | book

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 | book

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 | book

Architectural element points: Estimating software development effort by analysis of logical architectures

Lecture Notes in Business Information Processing

2016 | book

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 | book

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 | book

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 | book

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 | book

MATRA: A framework for assessing model-based approaches on the transformation between requirements and architecture

Lecture Notes in Business Information Processing

2016 | book

Mapping between artefacts and portfolio processes from the PMI standard for portfolio management

Lecture Notes in Business Information Processing

2016 | book

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

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 | book

iFloW: An integrated logistics software system for inbound supply chain traceability

Proceedings of the I-ESA Conferences

2016 | conference-paper

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

A soaml approach for derivation of a process-oriented logical architecture from use cases

Lecture Notes in Business Information Processing

2015 | book

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 | book

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 | book

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 | book

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 | book

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 | book

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

From business process models to use case models: A systematic approach

Lecture Notes in Business Information Processing

2014 | book

Generating a business model canvas through elicitation of business goals and rules from process-level use cases

Lecture Notes in Business Information Processing

2014 | book

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 | book

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

RUP alignment and coverage analysis of CMMI ML2 process areas for the context of software projects execution

Lecture Notes in Business Information Processing

2014 | book

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 | book

A V-model approach for business process requirements elicitation in cloud design

Advanced Web Services

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 | 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 | book

A transformation of business process models into software-executable models using MDA

Lecture Notes in Business Information Processing

2013 | book

Aligning domain-related models for creating context for software product design

Lecture Notes in Business Information Processing

2013 | book

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 | book

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 | book

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 | book

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

BIM: A methodology to transform business processes into software systems

Lecture Notes in Business Information Processing

2012 | book

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 | book

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 | book

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 | book

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

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 | book

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 | book

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 | book

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

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 | book

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

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 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 | book

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

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

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 service specification

IFIP International Federation for Information Processing

2006 | book

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

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

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 | book

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

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

Specification of requirements models

Engineering and Managing Software Requirements

2005 | book

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 | book

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

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 methodologies

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

2002 | book

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 | book

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

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

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

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

Hardware Description Languages and their Applications

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

2012