Paulo S. C. Alencar

According to our database1, Paulo S. C. Alencar authored at least 118 papers between 1994 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Testing Self-Organizing Multiagent Systems.
CoRR, 2019

Cluster Lifecycle Analysis: Challenges, Techniques, and Framework.
CoRR, 2019

AgileCritPath: Identifying Critical Tasks in Agile Environments.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Retrieving Curated Stack Overflow Posts from Project Task Similarities (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Method to Recommend Artifacts to New Tasks in Software Projects (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Metamodel to represent Agile Software Development Projects.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

A Catalog of Bad Agile Smells for Agility Assessment.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018
The use of machine learning algorithms in recommender systems: A systematic review.
Expert Syst. Appl., 2018

The Next Generation of Metadata-Oriented Testing of Research Software.
CoRR, 2018

A Variability-Aware Design Approach to the Data Analysis Modeling Process.
CoRR, 2018

The iEnvironment Platform: Developing an Open Science Software Platform for Integrated Environmental Monitoring and Modeling of Surface Water.
CoRR, 2018

An IoT Analytics Embodied Agent Model based on Context-Aware Machine Learning.
CoRR, 2018

Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions.
CoRR, 2018

Machine Learning-based Variability Handling in IoT Agents.
CoRR, 2018

Software Engineers vs. Machine Learning Algorithms: An Empirical Study Assessing Performance and Reuse Tasks.
CoRR, 2018

A context-aware machine learning-based approach.
Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions.
Proceedings of the IEEE International Conference on Big Data, 2018

A Variability-Aware Design Approach to the Data Analysis Modeling Process.
Proceedings of the IEEE International Conference on Big Data, 2018

A Software Framework for Cluster Lifecycle Analysis in Transportation.
Proceedings of the IEEE International Conference on Big Data, 2018

Trajectory Cluster Lifecycle Analysis: An Evolutionary Perspective.
Proceedings of the IEEE International Conference on Big Data, 2018

An IoT Analytics Embodied Agent Model based on Context-Aware Machine Learning.
Proceedings of the IEEE International Conference on Big Data, 2018

Toward Human-in-the-Loop Collaboration Between Software Engineers and Machine Learning Algorithms.
Proceedings of the IEEE International Conference on Big Data, 2018

The iEnvironment Platform: Developing an Open Science Software Platform for Integrated Environmental Monitoring and Modeling of Surface Water.
Proceedings of the IEEE International Conference on Big Data, 2018

2017
CollabRDL: A language to coordinate collaborative reuse.
Journal of Systems and Software, 2017

A formal modeling and analysis approach for access control rules, policies, and their combinations.
Int. J. Inf. Sec., 2017

Developing a Spatial-Temporal Contextual and Semantic Trajectory Clustering Framework.
CoRR, 2017

A model for the socially smart city practical uses of city-level socio-economic indicators.
Proceedings of the 2017 IEEE International Conference on Big Data, BigData 2017, 2017

iEnvironment: A software platform for integrated environmental monitoring and modeling of surface water.
Proceedings of the 2017 IEEE International Conference on Big Data, BigData 2017, 2017

2016
A uniform approach for access control and business models with explicit rule realization.
Int. J. Inf. Sec., 2016

A Survey on Domain-Specific Languages for Machine Learning in Big Data.
CoRR, 2016

A Preliminary Survey on Domain-Specific Languages for Machine Learning in Big Data.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Software Framework for PCa-Based Face Recognition.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Modeling Language for Adaptive Normative Agents.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Towards a provenance-aware spatial-temporal architectural framework for massive data integration and analysis.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

Software engineering for big data projects: Domains, methodologies and gaps.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015
BPMNt: A BPMN extension for specifying software process tailoring.
Information & Software Technology, 2015

The Use of Machine Learning Algorithms in Recommender Systems: A Systematic Review.
CoRR, 2015

Requirements Engineering for General Recommender Systems.
CoRR, 2015

A Metamodel Approach to Developing Adaptive Normative Agents.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

The Development of Normative Autonomous Agents: An Approach.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

JSAN: A Framework to Implement Normative Agents.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Adapting to Climate Change - An Open Data Platform for Cumulative Environmental Analysis and Management.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

An Open and Big Data Platform for Cumulative Environmental Analysis and Management.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014
Business Modeling to Improve Auditor Risk Assessment: An Investigation of Alternative Representations.
J. Information Systems, 2014

An approach to correctness of security and operational business policies.
Int. J. Accounting Inf. Systems, 2014

Perspectives on Open Data: Issues and Opportunties.
Proceedings of the 2014 IEEE International Conference on Software Science, 2014

Developing a collaborative cloud-based platform for watershed analysis and management.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Multi-sectoral collaborative open data applications.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Mining Reuse Processes.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Configurable Software Product Lines - Supporting Heterogeneous Configuration Knowledge.
Proceedings of the Safe and Secure Software Reuse, 2013

2011
An Adaptive Context-Aware and Event-Based Framework Design Model.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

ReuseTool - An extensible tool support for object-oriented framework reuse.
Journal of Systems and Software, 2011

Developing multi-agent system product lines: from requirements to code.
IJAOSE, 2011

Model Human Behavior: Don't Constrain It!
Proceedings of the International Perspectives in Health Informatics, 2011

2010
Asset-Mapping Approaches to Web-Based Collaborative Innovation.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Distributed Event-Based System Features: Representation and Reasoning.
Proceedings of the IEEE International Conference on Software Science, 2010

A Web-Based Framework for Collaborative Innovation.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Dynamic user-centric mobile context model.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

Event Models in Distributed Event Based Systems.
Proceedings of the Principles and Applications of Distributed Event-Based Systems, 2010

2009
Lightweight query-based analysis of workflow process dependencies.
Journal of Systems and Software, 2009

Building Service-Oriented User Agents Using a Software Product Line Approach.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Abstract Data Types.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Service-oriented Process to Develop Web Applications.
J. UCS, 2008

Uma Abordagem Flexível para Comparação de Modelos UML.
Proceedings of the Second Brazilian Symposium on Software Components, 2008

A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems.
Proceedings of the ICSOFT 2008, 2008

A metamodel for distributed event based systems.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

2007
Informal description and analysis of geographic requirements: an approach based on problems.
Software and Systems Modeling, 2007

RDL: A language for framework instantiation representation.
Journal of Systems and Software, 2007

Composing pattern-based components and verifying correctness.
Journal of Systems and Software, 2007

Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços.
Proceedings of the First Brazilian Symposium on Software Components, 2007

2006
Automating the analysis of design component contracts.
Softw., Pract. Exper., 2006

Customizing Aspect-Oriented Variabilities using Generative Techniques.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Extension Morphisms for CommUnity.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
xTAO: enabling a declarative approach to the specification of multi-agent systems.
ACM SIGSOFT Software Engineering Notes, 2005

A COTS architectural component specification stencil for selection and reasoning.
ACM SIGSOFT Software Engineering Notes, 2005

An approach to formal automated analysis of problem-frame concerns.
Information & Software Technology, 2005

Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Increasing Software Infrastructure Dependability through a Law Enforcement Approach.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

2004
Response to Jiau et al.'s Comments.
IEEE Trans. Software Eng., 2004

Software Process Representation and Analysis for Framework Instantiation.
IEEE Trans. Software Eng., 2004

A behavioral analysis and verification approach to pattern-based design composition.
Software and Systems Modeling, 2004

A Generative Approach for Multi-agent System Development.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Extending (Object-)Z for multi-agent systems specification.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

AgentZ: Extending Object-Z for Multi-agent Systems Specification.
Proceedings of the Agent-Oriented Information Systems II, 2004

2003
On Analysis of Design Component Contracts: A Case Study.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

A Formal Framework for Design Component Contracts.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003.
Proceedings of the 25th International Conference on Software Engineering, 2003

A service-oriented monitoring registry.
Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

2002
A Logical Theory of Interfaces and Objects.
IEEE Trans. Software Eng., 2002

Views and Patterns in E-Commerce Application Design.
Ann. Software Eng., 2002

A Framework for Community Information Systems.
Ann. Software Eng., 2002

Taming Agents and Objects in Software Engineering.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

NSPF: Designing a Notification Service Provider Framework for Web Services.
Proceedings of the Web, 2002

2001
An approach to formal specification and verification of map-centered applications.
Environmental Modelling and Software, 2001

Supporting Formal Verification of Crosscutting Concerns.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Geographic Problem Frames.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

A Behavioral Analysis Approach to Pattern-Based Composition.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

2000
Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain.
Journal of Systems and Software, 2000

An Extensible Model of Architecture Description.
Proceedings of the Applied Computing 2000, 2000

A Model for Describing Object-Oriented Systems from Multiple Perspectives.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Ensuring Structure and Behavior Correctness in Design Composition.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

A Framework for Software Architecture Verification.
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999
Dynamic views of SGML tagged documents.
Proceedings of the 17th annual international conference on Documentation, 1999

Correct Composition of Design Components.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Pattern-Based Approach to Structural Design Composition.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
A Model for Gluing Together.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

A Transformational Approach to Structural Design Assessment and Change.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Viewpoints as an evolutionary approach to software system maintenance.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

1996
A Logical Framework for Evolving Software Systems.
Formal Asp. Comput., 1996

A Formal Architectural Design Patterns-Based Approach to Software Understanding.
Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

A Formal Approach to Architectural Design Patterns.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Validating Properties of Component-based Graphical User Interfaces.
Proceedings of the Design, 1996

1995
A Formal Description of Evolving Software Systems Architectures.
Sci. Comput. Program., 1995

Formal Specification of Reusable Interface Objects.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Combining Formal Techniques and Prototyping in User Interface Construction and Verification.
Proceedings of the Design, 1995

A Framework for Machine-Assisted User Interface Verification.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994


  Loading...