Michel S. Soares

Affiliations:
  • Federal University of Sergipe (UFS), Brasil


According to our database1, Michel S. Soares authored at least 90 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A survey on what users think about SysML.
Syst. Eng., July, 2023

Support for Accessible Software Coding: Results of a Rapid Literature Review.
CLEI Electron. J., March, 2023

A Review on the Capacities of the ISO/IEC/IEEE 42020: 2019 Standard for Architecture Elaboration of Software and Systems.
Proceedings of the XIX Brazilian Symposium on Information Systems, 2023

Patterns in Microservices-based Development: A Grey Literature Review.
Proceedings of the 26th Iberoamerican Conference on Software Engineering, 2023

2022
A Bottom Up Approach for Modeling Business Process using Time Petri Nets.
Proceedings of the SBSI: XVIII Brazilian Symposium on Information Systems, Curitiba, Brazil, May 16, 2022

Recommendation of Microservices Patterns Through Automatic Information Retrieval Using Problems Specified in Natural Language.
Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022

2021
A System Architecture in Multiple Views for an Image Processing Graphical User Interface.
Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

Design of Smart Cities Dimensions Using the SmartCitySysML Profile.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

A Qualitative Study on SysML Based on Perceived Views from Industry Professionals.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

2020
Architecture-Driven Development of an Electronic Health Record Considering the SOAQM Quality Model.
SN Comput. Sci., 2020

Uma Pesquisa-Ação no Contexto de Processos de Engenharia de Requisitos em uma Instituição Pública Brasileira.
Braz. J. Inf. Syst., 2020

SmartCitySysML: A SysML Profile for Smart Cities Applications.
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

Architecture Conceptualization for Health Information Systems Using ISO/IEC/IEEE 42020.
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

An investigation into technology solutions for urban public monitoring through ubiquitous devices in the context of smart cities.
Proceedings of the EATIS 2020: 10th Euro American Conference on Telematics and Information Systems, 2020

2019
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets.
Softw. Syst. Model., 2019

Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML.
Autom., 2019

ICT Governance: A View of Adoption of Best Practices in Enterprises of Sergipe State.
Proceedings of the XV Brazilian Symposium on Information Systems, 2019

How personality traits influences quality of software developed by students.
Proceedings of the XV Brazilian Symposium on Information Systems, 2019

A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System.
Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019

A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems.
Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019

Technical and Managerial Difficulties in Postmortem Analysis in Software Projects.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

A Survey on the Skills, Activities and Role of the Software Architect in Brazil.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

ArchCaMO - A Maturity Model for Software Architecture Description Based on ISO/IEC/IEEE 42010: 2011.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

A Systematic Mapping Study on Software Architectures Description Based on ISO/IEC/IEEE 42010: 2011.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2018
Model-based requirements specification of real-time systems with UML, SysML and MARTE.
Softw. Syst. Model., 2018

Non-functional Constraints Annotation to Real-Time Embedded System Design.
Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

SPES Methodology and MARTE Constraints in Architectural Design.
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Model-Based Design Methodology for Early Evaluation of Real-time and Embedded Constraints.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

PeticGov: An auditing and direction framework for federal public organizations.
Proceedings of the Euro American Conference on Telematics and Information Systems, 2018

A Practical Approach to Teaching-Learning for Undergraduate Students: Governance of ICT directed to the Federal Public Administration (FPA).
Proceedings of the Euro American Conference on Telematics and Information Systems, 2018

An Approach for Architectural Design of Automotive Systems using MARTE and SysML.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Guidelines for using MARTE profile packages considering concerns of real-time embedded systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views.
Proceedings of the ICEIS 2017, 2017

Development of an Electronic Health Record Application using a Multiple View Service Oriented Architecture.
Proceedings of the ICEIS 2017, 2017

TAXOPETIC Process Design - A Taxonomy to Support the PETIC Methodology (Strategic Planning of ICT).
Proceedings of the ICEIS 2017, 2017

Influence of Human Personality in Software Engineering - A Systematic Literature Review.
Proceedings of the ICEIS 2017, 2017

Relationship between Personality Traits and Software Quality - Big Five Model vs. Object-oriented Software Metrics.
Proceedings of the ICEIS 2017, 2017

An Experiment to Evaluate Software Development Teams by Using Object-Oriented Metrics.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

An Event-Based Technique to Trace Requirements Modeled with SysML.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Applying MARTE Profile for Optimal Automotive System Specifications and Design.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016
Characterization of the Application of Service-Oriented Design Principles in Practice: A Systematic Literature Review.
J. Softw., 2016

On Criteria to Choose a Content Management System: A Technology Acceptance Model Approach.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Layered Implementation View of a SOA Based Electronic Health Record.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

An evaluation of influence of human personality in software development: An experience report.
Proceedings of the 8th Euro American Conference on Telematics and Information Systems, 2016

A Case Study on SoaML to Design an Electronic Health Record Application Considering Integration of Legacy Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems.
Proceedings of the ICEIS 2015, 2015

A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams.
Proceedings of the ICEIS 2015, 2015

SOAQM: Quality Model for SOA Applications based on ISO 25010.
Proceedings of the ICEIS 2015, 2015

A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets.
Proceedings of the ICEIS 2015, 2015

2014
Performance Evaluation of Aspect-Oriented Programming Weavers.
Proceedings of the Enterprise Information Systems - 16th International Conference, 2014

A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns.
Proceedings of the ICEIS 2014, 2014

Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes.
Proceedings of the ICEIS 2014, 2014

Detection of Software Anomalies Using Object-oriented Metrics.
Proceedings of the ICEIS 2014, 2014

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets.
Proceedings of the ICEIS 2014, 2014

Evaluation of SysML diagrams to document requirements using TAM.
Proceedings of the 7th Euro American Conference on Telematics and Information Systems, 2014

2013
Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

A metamodel for tracing requirements of real-time systems.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Siphon-based deadlock prevention policy for interorganizational WorkFlow net design.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Projects Characteristics Determining Suitability of Software Development Process.
Proceedings of the ICEIS 2013, 2013

An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes.
Proceedings of the ICEIS 2013, 2013

Modeling Aspects in Requirements using SysML Extensions.
Proceedings of the ICEIS 2013, 2013

Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

2012
A Systematic Review on Aspects in Software Architecture Design.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012

A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Analysis of Techniques for Documenting User Requirements.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Modeling Road Traffic Signals Control Using UML and the MARTE Profile.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

2011
User requirements modeling and analysis of software-intensive systems.
J. Syst. Softw., 2011

Modeling and analysis of discrete event systems using a Petri net component.
Proceedings of the IEEE International Conference on Systems, 2011

A Comparative Analysis of the Agile and Traditional Software Development Processes Productivity.
Proceedings of the 30th International Conference of the Chilean Computer Science Society, 2011

Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE.
Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

A Framework for Multi-layered Requirements Documentation and Analysis.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems.
PhD thesis, 2010

A distributed simulator for road network control.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

Architecture-based development of road traffic management systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

A Decision Framework for Selecting a Suitable Software Development Process.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009
A real-life test bed for multi-agent monitoring of road network performance.
Int. J. Crit. Infrastructures, 2009

A hierarchical model and implementation architecture for road traffic control.
Proceedings of the IEEE International Conference on Systems, 2009

Evaluation of UML in Practice - Experiences in a Traffic Management Systems Company.
Proceedings of the ICEIS 2009, 2009

2008
Model-Driven User Requirements Specification using SysML.
J. Softw., 2008

Real-time scheduling of batch systems using Petri nets and linear logic.
J. Syst. Softw., 2008

Human factors in system reliability: lessons learnt from the Maeslant storm surge barrier in The Netherlands.
Int. J. Crit. Infrastructures, 2008

Responsive traffic signals designed with petri nets.
Proceedings of the IEEE International Conference on Systems, 2008

2007
Multi-level control of networks: the case of road traffic control.
Proceedings of the IEEE International Conference on Systems, 2007

Requirements specification and modeling through SysML.
Proceedings of the IEEE International Conference on Systems, 2007

Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007


  Loading...