Carlos José Pereira de Lucena

Orcid: 0000-0001-9669-2352

Affiliations:
  • Pontifical Catholic University of Rio de Janeiro, Brazil


According to our database1, Carlos José Pereira de Lucena authored at least 385 papers between 1971 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2013, "For contributions in software engineering and multiagent systems, and for computer science leadership in Brazil.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the Usefulness of Automatically Generated Microservice Architectures.
IEEE Trans. Software Eng., March, 2024

2023
Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool.
Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023

Re-engineering Legacy Systems as Microservices: An Industrial Survey of Criteria to Deal with Modularity and Variability of Features.
Proceedings of the Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023

2022
Analysis of a many-objective optimization approach for identifying microservices from legacy systems.
Empir. Softw. Eng., 2022

Creating a Modeling Language Based on a New Metamodel for Adaptive Normative Software Agents.
IEEE Access, 2022

Smell Patterns as Indicators of Design Degradation: Do Developers Agree?
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021
Towards an Adaptive and Normative Multi-Agent System Metamodel and Language: Existing Approaches and Research Opportunities.
CoRR, 2021

A Multi-Criteria Strategy for Redesigning Legacy Features as Microservices: An Industrial Case Study.
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

Are we speaking the industry language? The practice and literature of modernizing legacy systems with microservices.
Proceedings of the SBCARS '21: Brazilian Symposium on Software Components, Architectures, and Reuse, Joinville, Brazil, 27 September 2021, 2021

2020
Collaborative or individual identification of code smells? On the effectiveness of novice and professional developers.
Inf. Softw. Technol., 2020

A Metadata-Driven Approach for Testing Self-Organizing Multiagent Systems.
IEEE Access, 2020

Assessing a Multidisciplinary Group of Undergraduate Students Applying the Challenge Based Learning Methodology to Learn Mobile Development.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Evaluating Database Self-Tuning Strategies in a Comon Extensible Framework.
Proceedings of the 35th Brazilian Symposium on Databases, 2020

When Are Smells Indicators of Architectural Refactoring Opportunities: A Study of 50 Software Projects.
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

On the Performance and Adoption of Search-Based Microservice Identification with toMicroservices.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Search-based many-criteria identification of microservices from legacy systems.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

A Reference Model for IoT Embodied Agents Controlled by Neural Networks.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
Testing Self-Organizing Multiagent Systems.
CoRR, 2019

Experimenting with the Peanut Butter and Jelly Sandwich Challenge to Introduce Algorithmic Thinking and Test Case Writing.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Promoting Reusability and Extensibility in the Engineering of Domain-Specific Conversational Systems.
Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

Using Governance and Adaptive Normative Multiagent Systems for Dynamic Vehicle Platoon Formation.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Open-Source Innovation in Practice: A Lean-Based Development Process Leveraging Open-Source Big Data Tools.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018
On the identification of design problems in stinky code: experiences and tool support.
J. Braz. Comput. Soc., 2018

Data provenance in multi-agent systems: relevance, benefits and research opportunities.
Int. J. Metadata Semant. Ontologies, 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

Understanding vulnerabilities in plugin-based web systems: an exploratory study of wordpress.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

An Agent-based Software Framework for Machine Learning Tuning.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Understanding Normative BDI Agents Behavior.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Multidisciplinary groups learning to develop mobile applications from the challenge based learning methodology.
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018

Identifying design problems in the source code: a grounded theory.
Proceedings of the 40th International Conference on Software Engineering, 2018

An Architecture for Autonomous Normative BDI Agents based on Personality Traits to Solve Normative Conflicts.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 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 (IEEE BigData 2018), 2018

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

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

2017
FIoT: An agent-based framework for self-adaptive and self-organizing applications based on the Internet of Things.
Inf. Sci., 2017

An Approach to Generate Software Agents for Health Data Mining.
Int. J. Softw. Eng. Knowl. Eng., 2017

Smart depth of anesthesia monitoring with EEG sensors and agent-based technology.
Proceedings of the 2017 IEEE SmartWorld, 2017

Practical Reasoning in an Argumentation-based Decision BDI Agent: a Case Study for Participatory Management of Protected Areas.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

A Software Framework for Data Provenance.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

A Publish-Subscribe based Architecture for Testing Multiagent Systems.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Generating Software Agents for Data Mining: An Example for the Health Data Area.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Working Towards a BDI‑Agent Based on Personality Traits to Improve Normative Conflicts Solution.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

How Do Software Developers Identify Design Problems?: A Qualitative Analysis.
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

Comprehensibility of Heterogeneous Configuration Knowledge: A User Study.
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

Revealing design problems in stinky code: a mixed-method study.
Proceedings of the 11th Brazilian Symposium on Software Components, 2017

What your EEG wearable sensors can tell about you?
Proceedings of the 1st International Conference on Internet of Things and Machine Learning, 2017

Collaborative Identification of Code Smells: A Multi-Case Study.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Engineering cooperative smart things based on embodied cognition.
Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016
A Multi-Agent Architecture for Quantified Fruits: Design and Experience.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Identifying Code Smells with Collaborative Practices: A Controlled Experiment.
Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

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

2015
Evaluating the effort of composing design models: a controlled experiment.
Softw. Syst. Model., 2015

An introduction to reasoning over qualitative multi-attribute preferences.
Knowl. Eng. Rev., 2015

Natural Language-based Representation of User Preferences.
Interact. Comput., 2015

AutoRefactoring: A platform to build refactoring agents.
Expert Syst. Appl., 2015

Decision making with natural language based preferences and psychology-inspired heuristics.
Eng. Appl. Artif. Intell., 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

Modeling Quantified Things Using a Multi-Agent System.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

JAT4BDI: An Aspect-Based Approach for Testing BDI Agents.
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

Evaluating Collaborative Practices in Acquiring Programming Skills: Findings of a Controlled Experiment.
Proceedings of the 29th Brazilian Symposium on Software Engineering, 2015

Contrasting exception handling code across languages: An experience report involving 50 open source projects.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education.
Proceedings of the Design, User Experience, and Usability: Interactive Experience Design, 2015

An Internet of Things Application with an Accessible Interface for Remote Monitoring Patients.
Proceedings of the Design, User Experience, and Usability: Interactive Experience Design, 2015

Designing an Interface Agent-Based Architecture for Creating a Mobile System of Medical Care.
Proceedings of the Design, User Experience, and Usability: Interactive Experience Design, 2015

2014
Heuristic expansion of feature mappings in evolving program families.
Softw. Pract. Exp., 2014

Effects of stability on model composition effort: an exploratory study.
Softw. Syst. Model., 2014

A Further Step Towards Participatory Modelling. Fostering Stakeholder Involvement in Designing Models by Using Executable UML.
J. Artif. Soc. Soc. Simul., 2014

Análise de abordagens populacionais para meta-alinhamento de ontologias.
Braz. J. Inf. Syst., 2014

Semantic-based Repository of Agent Components.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Towards a quality model for model composition effort.
Proceedings of the Symposium on Applied Computing, 2014

Towards software modularization from requirements.
Proceedings of the Symposium on Applied Computing, 2014

Pattern-based Explanation for Automated Decisions.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Aplicação de Modelos Intencionais e Sistemas Multiagentes para Estabelecer Políticas de Monitoração de Transparência de Software.
RITA, 2013

Contributions to the emergence and consolidation of Agent-oriented Software Engineering.
J. Syst. Softw., 2013

The crosscutting impact of the AOSD Brazilian research community.
J. Syst. Softw., 2013

RSA-MBT: a test tool for generating test artifacts based on models.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Are Domain-Specific Detection Strategies for Code Anomalies Reusable? An Industry Multi-project Study.
Proceedings of the 27th Brazilian Symposium on Software Engineering, 2013

Uncovering product line variability from early requirement documents.
Proceedings of the Third IEEE International Workshop on Requirements Patterns, RePa 2013, 2013

Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

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

Usability of a Social Network as a Collaborative Learning Platform Tool for Medical Students.
Proceedings of the Human-Computer Interaction. Applications and Services, 2013

Software Engineering in Telehealth, an Extension of Sana Mobile Applied to the Process of a Routine Hospital.
Proceedings of the Human-Computer Interaction. Applications and Services, 2013

Using Jason to Develop Refactoring Agents.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012
Applying and evaluating concern-sensitive design heuristics.
J. Syst. Softw., 2012

Automating the product derivation process of multi-agent systems product lines.
J. Syst. Softw., 2012

Community Association Map - Processing Inter-community Relationships.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Investigating Explanations to Justify Choice.
Proceedings of the User Modeling, Adaptation, and Personalization, 2012

History-sensitive heuristics for recovery of features in code of evolving program families.
Proceedings of the 16th International Software Product Line Conference, 2012

User-Centric Principles in Automated Decision Making.
Proceedings of the Advances in Artificial Intelligence - SBIA 2012, 2012

An Architectural Model for Autonomous Normative Agents.
Proceedings of the Advances in Artificial Intelligence - SBIA 2012, 2012

Analysing the Impact of Feature Dependency Implementation on Product Line Stability: An Exploratory Study.
Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Transparent Provenance Derivation for User Decisions.
Proceedings of the Provenance and Annotation of Data and Processes, 2012

User-centric preference-based decision making.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach.
Inf. Sci., 2011

Developing multi-agent system product lines: from requirements to code.
Int. J. Agent Oriented Softw. Eng., 2011

A graph-mining algorithm for automatic detection and counting of embryonic stem cells in fluorescence microscopy images.
Integr. Comput. Aided Eng., 2011

An architecture to tame simulation time tardiness in ADS.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

The Emergence of Multiagent System Software Engineering.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011


Dynamic Interface Adaptation for Ubiquitous Devices Driven by Agents and Ontologies.
Proceedings of the PECCS 2011, 2011

Intentional Mobile Agents in Ubiquitous Systems.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

Developing Goal-Oriented Normative Agents: The NBDI Architecture.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

NBDI: An Architecture for Goal-oriented Normative Agents.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Revealing Mistakes in Concern Mapping Tasks: An Experimental Evaluation.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

Assisted User-Guidance in Collaborative and Dynamic Software Product Line Configuration.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Keynote: Software Technology Issues in Web Science Research.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Dynamically Adapting BDI Agents Based on High-Level User Specifications.
Proceedings of the Advanced Agent Technology, 2011

Hist-Inspect: a tool for history-sensitive detection of code smells.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Configuration knowledge of software product lines: a comprehensibility study.
Proceedings of the 2nd international workshop on Variability & composition, 2011

GenArch+: an extensible infrastructure for building framework-based software product lines.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Is the unfolding of the group discussion off-pattern? Improving coordination support in educational forums using mobile devices.
Comput. Educ., 2010

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

An approach to reduce the gap between conceptual and execution models in agent-directed simulations.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

An Approach for Developing Component-Based Groupware Product Lines Using the Groupware Workbench.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Stability of Software Product Lines with Class-Aspect Interfaces: A Comparative Study.
Proceedings of the Software Product Lines - 14th International Conference, 2010

An End-user Domain-specific Model to Drive Dynamic User Agents Adaptations.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Using Jason to Develop Normative Agents.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Detecting Modularity Flaws of Evolving Code: What the History Can Reveal?
Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

JAAF+T: a framework to implement self-adaptive agents that apply self-test.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Increasing Users' Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

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

History-sensitive recovery of product line features.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Applying Fipa Standards Ontological Support to Intentional-MAS-Oriented Ubiquitous System.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

Assessment of product derivation tools in the evolution of software product lines: an empirical study.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Supporting prenatal care in the public healthcare system in a newly industrialized country.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A simulation approach to design contracts that govern emergent multi-agent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A Case for New Directions in Agent-Oriented Software Engineering.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009
Evaluating the recovery-oriented approach through the systematic development of real complex applications.
Softw. Pract. Exp., 2009

Assessment of the Design Modularity and Stability of Multi-Agent System Product Lines.
J. Univers. Comput. Sci., 2009

An event-driven high level model for the specification of laws in open multi-agent systems.
J. Syst. Softw., 2009

Interaction laws for dependability explicit computing in open multi-agent systems.
IET Softw., 2009

JAAF: A Framework to Implement Self-adaptive Agents.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A Serious Game for Exploring and Training in Participatory Management of National Parks for Biodiversity Conservation: Design and Experience.
Proceedings of the VIII Brazilian Symposium on Games and Digital Entertainment, 2009

Extending PASSI to model multi-agent systems product lines.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Automatic product derivation of multi-agent systems product lines.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An Industry Use Case: Testing SOA Systems with MAS Simulators.
Proceedings of the Second Multi-Agent Logics, 2009

A Multi-environment Multi-agent Simulation Framework for Self-organizing Systems.
Proceedings of the Multi-Agent-Based Simulation X, International Workshop, 2009

Automatic Embryonic Stem Cells Detection and Counting Method in Fluorescence Microscopy Images.
Proceedings of the 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Boston, MA, USA, June 28, 2009

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

JAAF-S: A Framework to Implement Autonomic Agents Able to Deal with Web Services.
Proceedings of the ICSOFT 2009, 2009

Ubiquitous Software Development Driven by Agents' Intentionality.
Proceedings of the ICEIS 2009, 2009

A Domain Analysis Approach for Multi-agent Systems Product Lines.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

Automatic Derivation of Spring-OSGi based Web Enterprise Applications.
Proceedings of the ICEIS 2009, 2009

Modeling of Open Normative Multiagent Systems.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Comparing Stability of Implementation Techniques for Multi-agent System Product Lines.
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Towards the use of collaborative virtual environments to crew unmanned oil platforms.
Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, 2009

An Approach for Developing Groupware Product Lines Based on the 3C Collaboration Model.
Proceedings of the Groupware: Design, Implementation, and Use, 15th International Workshop, 2009

A domain engineering process for developing multi-agent systems product lines.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

On the Development of Multi-agent Systems Product Lines: A Domain Engineering Process.
Proceedings of the Agent-Oriented Software Engineering X - 10th International Workshop, 2009

A Survey on the Implementation of Agent Oriented Specifications.
Proceedings of the Agent-Oriented Software Engineering X - 10th International Workshop, 2009

2008
An aspect-oriented software architecture for code mobility.
Softw. Pract. Exp., 2008

Assessing the research and education quality of the top Brazilian Computer Science graduate programs.
ACM SIGCSE Bull., 2008

A Service-oriented Process to Develop Web Applications.
J. Univers. Comput. Sci., 2008

A Product Derivation Tool Based on Model-Driven Techniques and Annotations.
J. Univers. Comput. Sci., 2008

A multi-agent framework to build integer programming applications to playoff elimination in sports tournaments.
Int. Trans. Oper. Res., 2008

MAS-ML: a multiagent system modelling language.
Int. J. Agent Oriented Softw. Eng., 2008

On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study.
Int. J. Agent Oriented Softw. Eng., 2008

Taming heterogeneous agent architectures.
Commun. ACM, 2008

Extending web-based applications to incorporate autonomous behavior.
Proceedings of the 14th Brazilian Symposium on Multimedia and Web Systems, 2008

Documenting and Modeling Multi-agent Systems Product Lines.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Um Processo de Desenvolvimento de Sistemas Colaborativos baseado no Modelo 3C: RUP-3C-Groupware.
Proceedings of the 4th Brazilian Symposium on Information Systems, 2008

Notificacao-acao: Informacao e Acesso ao Ambiente de Aprendizagem atraves de Notificacoes para Suporte A Coordenacao de Foruns de Cursos a Dist.
Proceedings of the Simpósio Brasileiro de Sistemas Colaborativos, 2008

A Bio-inspired Representation Model for Engineering Self-Organizing Emergent Systems.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

Unveiling and Taming Liabilities of Aspect Libraries Reuse.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

On the Modularity Assessment of Aspect-Oriented Multi-Agent Systems Product Lines: a Quantitative Study.
Proceedings of the Second Brazilian Symposium on Software Components, 2008

Contextualizing normative open multi-agent systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

DynaCROM: An Approach to Implement Regulative Norms in Normative Multiagent Systems.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Integrating Component and Product Lines Technologies.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

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

Evolving and Composing Frameworks with Aspects: The MobiGrid Case.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

Assessing the Impact of Aspects on Exception Flows: An Exploratory Study.
Proceedings of the ECOOP 2008, 2008

Inter- and intra-relationships between communication coordination and cooperation in the scope of the 3C Collaboration Model.
Proceedings of the 12th International Conference on CSCW in Design, 2008

Linking to Several Messages for Convergence: A Case Study in the AulaNet Forum.
Proceedings of the Groupware: Design, Implementation, and Use, 14th International Workshop, 2008

i* Diagnoses: A Quality Process for Building i* Models.
Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Art Competition: Agent Designs to Handle Negotiation Challenges.
Proceedings of the Trust in Agent Societies, 2008

Developing and Evolving a Multi-agent System Product Line: An Exploratory Study.
Proceedings of the Agent-Oriented Software Engineering IX, 9th International Workshop, 2008

2007
Uma Proposta de Framework para Desenvolvimento de Aplicações Paralelas com Mobilidade.
RITA, 2007

RDL: A language for framework instantiation representation.
J. Syst. Softw., 2007

Governing Multi-Agent Systems.
J. Braz. Comput. Soc., 2007

Letter from the Guest Editors.
J. Braz. Comput. Soc., 2007

Domain Engineering to Ensure Flexibility on Interaction Laws of Multi-Agent Systems.
J. Braz. Comput. Soc., 2007

On the interplay of .NET and contemporary software engineering techniques [Editorial].
IET Softw., 2007

Modeling multi-agent systems.
Commun. ACM, 2007

Using Interaction Laws to Implement Dependability Explicit Computing in Open Multi-Agent Systems.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Uma Abordagem para o Reuso de Leis de Interação em Sistemas Multi-Agentes.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

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

GenArch-A Model-Based Product Derivation Tool.
Proceedings of the First Brazilian Symposium on Software Components, 2007

JAT: A Test Automation Framework for Multi-Agent Systems.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

On the Modularity of Software Architectures: A Concern-Driven Measurement Framework.
Proceedings of the Software Architecture, First European Conference, 2007

A WSA-based architecture for building multiagent systems.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Using Testimonies to Enforce the Behavior of Agents.
Proceedings of the Coordination, 2007

Mapping Features to Aspects: A Model-Based Generative Approach.
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006
Modularizing Design Patterns with Aspects: A Quantitative Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2006

A combined specification language and development framework for agent-based application engineering.
J. Syst. Softw., 2006

Framework Evolution Tool.
J. Object Technol., 2006

A Rule-Based Approach to Framework Evolution.
J. Object Technol., 2006

Crosscutting Interfaces for Aspect-Oriented Modeling.
J. Braz. Comput. Soc., 2006

A MDE-Based Approach for Developing Multi-Agent Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Software Engineering for Multi-Agent Systems.
Comput. Syst. Sci. Eng., 2006

R-U-Typing-2-Me? Evolving a chat tool to increase understanding in learning activities.
Int. J. Comput. Support. Collab. Learn., 2006

Handling Exceptional Conditions in Mobile Collaborative Applications: An Exploratory Case Study.
Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

On fault tolerance in law-governed multi-agent systems.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

On Fault Tolerance in Law-Governed Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Context-aware exception handling in mobile agent systems: the MoCA case.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Unit testing in multi-agent systems using mock agents and aspects.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Introduction to the SELMAS 2006.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Refinement operators to facilitate the reuse of interaction laws in open multi-agent systems.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Exception Handling in Context-Aware Agent Systems: A Case Study.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

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

Implementing Framework Crosscutting Extensions with EJPs and AspectJ.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Component-Based Groupware Development Based on the 3C Collaboration Model.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Tratamento de Exceções Sensível ao Contexto.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Aspectual Connectors: Supporting the Seamless Integration of Aspects and ADLs.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

A modular implementation framework for code mobility.
Proceedings of the 3rd international conference on Mobile technology, 2006

On the Quantitative Assessment of Modular Multi-Agent Architectures.
Proceedings of the Multiagent Systems and Software Architecture, 2006

Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Quantifying the Effects of Aspect-Oriented Programming: A Maintenance Study.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Experience and prospects for various control strategies for self-replicating multi-agent systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Refactoring product lines.
Proceedings of the Generative Programming and Component Engineering, 2006

A Multi-Agent Architecture for a Dynamic Supply Chain Management.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

On the Modular Representation of Architectural Aspects.
Proceedings of the Software Architecture, Third European Workshop, 2006

Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Development of Groupware Based on the 3C Collaboration Model and Component Technology.
Proceedings of the Groupware: Design, Implementation, and Use, 12th International Workshop, 2006

Integrating scenarios, i*, and AspectT in the context of multi-agent systems.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

Informing Regulatory Dynamics in Open MASs.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems.
Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models.
Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

Composing design patterns: a scalability study of aspect-oriented programming.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

Modeling MAS Properties with MAS-ML Dynamic Diagrams.
Proceedings of the Agent-Oriented Information Systems IV, 2006

A Reputation Model Based on Testimonies.
Proceedings of the Agent-Oriented Information Systems IV, 2006

Providing Contextual Norm Information in Open Multi-Agent Systems.
Proceedings of the Agent-Oriented Information Systems IV, 2006

2005
Modeling Multi-agent systems with ANote.
Softw. Syst. Model., 2005

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

Software engineering for large-scale multi-agent systems - SELMAS'05.
ACM SIGSOFT Softw. Eng. Notes, 2005

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2005

Applying the 3C model to groupware development.
Int. J. Cooperative Inf. Syst., 2005

A Case Study: The Application of Methodologies and Competency Management Systems at the Software Engineering Laboratory in PUC-Rio.
Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

Multi-Agent System Design Verification Using Knowledge-based Reasoning.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Component-based Product Development Process for a Workflow Management System Product Line.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Taming Heterogeneous Aspects with Crosscutting Interfaces.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Refactoring the JUnit framework using aspect-oriented programming.
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

An Agent Based Architecture for Highly Competitive Electronic Markets.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

The Role Aspect Pattern.
Proceedings of the EuroPLoP' 2005, 2005

The Interaction Aspect Pattern.
Proceedings of the EuroPLoP' 2005, 2005

Towards an engineering approach for groupware development: learning from the AulaNet LMS development.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Assessment of collaboration in online courses.
Proceedings of the Next 10 Years! Proceedings of the 2005 Conference on Computer Support for Collaborative Learning, 2005

Mediated chat development process: avoiding chat confusion on educational debates.
Proceedings of the Next 10 Years! Proceedings of the 2005 Conference on Computer Support for Collaborative Learning, 2005

No need to read messages right now: helping mediators to steer educational forums using statistical and visual information.
Proceedings of the Next 10 Years! Proceedings of the 2005 Conference on Computer Support for Collaborative Learning, 2005

Conveying human-computer interaction concerns to software engineers through an interaction model.
Proceedings of the CLIHC '05, 2005

Developing Multi-Agent Systems Based on MDA.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Using the UML 2.0 activity diagram to model agent plans and actions.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A knowledge-based approach to the specification and verification of MAS design.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Aspects in Agent-Oriented Software Engineering: Lessons Learned.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 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

Agents in object-oriented software engineering.
Softw. Pract. Exp., 2004

Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2004

A framework instantiation approach based on the Features Model.
J. Syst. Softw., 2004

Design Patterns as Aspects: A Quantitative Assessment.
J. Braz. Comput. Soc., 2004

From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language.
Auton. Agents Multi Agent Syst., 2004

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

Aspectizing Multi-agent Systems: From Architecture to Implementation.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

The ANote Modeling Language for Agent-Oriented Specification.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Integrating Generative and Aspect-Oriented Technologies.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

An aspect-oriented generative approach.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Analyzing Discourse Structure to Coordinate Educational Forums.
Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Multi-Agent Systems and the Semantic Web - The Semanticcore Agent-Based Abstraction Layer.
Proceedings of the ICEIS 2004, 2004

Applying anote to modeling multi agent systems a case study in e-business.
Proceedings of the IASTED International Conference on Software Engineering, 2004

Geo-Object Catalogs to Enable Geographic Databases Interoperability.
Proceedings of the VI Brazilian Symposium on Geoinformatics, 2004

Prescribing e-Learning Activities Using Workflow Technologies.
Proceedings of the Computer Supported Activity Coordination, 2004

Deploying Agents with the CORBA Component Model.
Proceedings of the Component Deployment, Second International Working Conference, 2004

On the incorporating of learning in open multi-agent systems: a systematic approach.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 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

A UML Based Approach for Modeling and Implementing Multi-Agent Systems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

A Systematic Approach for Including Machine Learning in Multi-agent Systems.
Proceedings of the Agent-Oriented Information Systems II, 2004

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

2003
Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2003

Using refactoring and unification rules to assist framework evolution.
ACM SIGSOFT Softw. Eng. Notes, 2003

An Object-Oriented Framework for Building Software Agents.
J. Object Technol., 2003

A Peer-To-Peer Platform Based on Semantic Web Services.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

A Component-Based Model for Building Reliable Multi-Agent Systems.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Using the MAS-ML to Model a Multi-agent System.
Proceedings of the Software Engineering for Multi-Agent Systems II, 2003

Separation of Concerns in Multi-agent Systems: An Empirical Study.
Proceedings of the Software Engineering for Multi-Agent Systems II, 2003

On the Reuse and Maintenance of Aspect-Oriented Software: An Assessment Framework.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

A Theory of Aspects for Aspect-Oriented Software Development.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

MAS-ML: a multi-agent system modeling language.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

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

Competency Management for Group Formation on the AulaNet Learning Environment.
Proceedings of the Groupware: Design, Implementation, and Use, 9th International Workshop, 2003

Co-text Loss in Textual Chat Tools.
Proceedings of the Modeling and Using Context, 2003

Using an Agent-Based Framework and Separation of Concerns for the Generation of Document Classification Tools.
Proceedings of the Agent Mediated Knowledge Management, 2003

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

Taming access control security: extending capabilities using the views relationship.
Softw. Pract. Exp., 2002

Engineering multi-agent systems with aspects and patterns.
J. Braz. Comput. Soc., 2002

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

The Reflective Blackboard Pattern: Architecting Large Multi-agent Systems.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

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

Software engineering for large-scale multi-agent systems: SELMAS'2002.
Proceedings of the 24th International Conference on Software Engineering, 2002

Frameworks - A High Level Instantiation Approach.
Proceedings of the ICEIS 2002, 2002

A Proposal for the Incorporation of the Features Model into the UML Language.
Proceedings of the ICEIS 2002, 2002

Groupware Technology for Cooperative Learning via the Internet.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

A Framework for Filtering and Packaging Hypermedia Documents.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Using UML-F to enhance framework development: a case study in the local search heuristics domain.
J. Syst. Softw., 2001

Object oriented framework development.
XRDS, 2001

ContentNet: a framework for the interoperability of educational content using standard IMS.
Comput. Educ., 2001

An Aspect-Based Approach for Developing Multi-Agent Object-Oriented Systems.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

Using XML and Frameworks to Develop Information Systems.
Proceedings of the ICEIS 2001, 2001

Domain Oriented Framework Construction.
Proceedings of the ICEIS 2001, 2001

Designing and Implementing Electronic Commerce Frameworks Using the Multi-Agent Systems Approach.
Proceedings of the International Conference on Internet Computing, 2001

Every Ware: Dealing With E-Commerce Pervasiveness.
Proceedings of the International Conference on Internet Computing, 2001

An Object-Oriented Framework for Creating Offerings.
Proceedings of the International Conference on Internet Computing, 2001

Use of Categorization and Structuring of Messages in Order to Organize the Discussion and Reduce Information Overload in Asynchronous Textual Communication Tools.
Proceedings of the Seventh International Workshop on Groupware (CRIWG'01), 2001

Process Reuse Architecture.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000
V-Market: A framework for agent e-commerce systems.
World Wide Web, 2000

Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain.
J. Syst. Softw., 2000

Using domain specific languages to instantiate object-oriented frameworks.
IEE Proc. Softw., 2000

An architecture for the evolution of Web applications (poster session).
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Using a Group Support System to Meet Educational Objectives.
Proceedings of the 6th International Workshop on Groupware (CRIWG 2000), 2000

1999
The Spider Environment.
Softw. Pract. Exp., 1999

Um Ambiente para Modelagem e Execução de Processos.
RITA, 1999

Using AulaNet for Web-based Course Development.
Proceedings of the Sixth International Symposium on String Processing and Information Retrieval and Fifth International Workshop on Groupware, 1999

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

1998
Organizando Processos de Requisitos.
Proceedings of the Anais do WER98, 1998

Rio Internet TV - AulaNet(tm) Using Videoconference in Web-Based Learning.
Proceedings of WebNet 98, 1998

Medição de Software para Pequenas Empresas: Uma Solução Baseada na Web.
Proceedings of the 12th Brazilian Symposium on Software Engineering, 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
O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet.
RITA, 1997

Introdução ao Ambiente Visual Spider.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

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

1996
IUP/LED: A Portable User Interface Development Tool.
Softw. Pract. Exp., 1996

A Logical Framework for Evolving Software Systems.
Formal Aspects 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
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse.
IEEE Trans. Software Eng., 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

An Object-Oriented Model for Designing the Human-Computer Interface Of Hypermedia Applications.
Proceedings of the Hypermedia Design, 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

A Method for Analyzing Team Design Activity.
Proceedings of the 1st Conference on Designing Interactive Systems: Processes, 1995

1994
Experience using the ASA algorithm teaching system.
ACM SIGCSE Bull., 1994

ADVcharts: a visual formalism for interactive systems.
ACM SIGCHI Bull., 1994

Enhancing Code for Readability and Comprehension Using SGML.
Proceedings of the International Conference on Software Maintenance, 1994

An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces.
Proceedings of the Software Engineering and Human-Computer Interaction, 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

On the automation of code generation for user interface models.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
Abstract Data Views.
Struct. Program., 1993

Application Integration: Constructing Composite Applications from Interactive Components.
Softw. Pract. Exp., 1993

A Rationale for Both Nesting and Inheritance in Object-Oriented Design.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

ADVcharts: a graphical specification for abstract data views.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
Design of an algorithm simulation and animation environment (ASA).
ACM SIGCSE Bull., 1992

Software Design Cooperativo: Um Estudo de Caso.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1991
Registro de Decisões e Justificativas de Desenho em Softwares Projetados com a Metodologia JSD.
Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991

Formalização de Conceitos em Gerência de Configurações.
Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991

1990
Interfaces as specifications in the MIDAS user interface development systems.
ACM SIGSOFT Softw. Eng. Notes, 1990

1989
PUC: a knowledge based environment for planned user communication.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1984
The Data Transform Programming Metho: An Example for File Processing Problems.
Proceedings of the Proceedings, 1984

1983
Message Oriented Programming - A Resource Based Methodology.
Comput. Lang., 1983

1980
A Data-directed Approach to Program Construction.
Softw. Pract. Exp., 1980

Higher order data types.
Int. J. Parallel Program., 1980

On the design and specification of message oriented programs.
Int. J. Parallel Program., 1980

A Methodology for Message Oriented Programming.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1979
Program Derivation Using Data Types: A Case Study.
IEEE Trans. Software Eng., 1979

An Approach for Data Type Specification and Its Use in Program Verification.
Inf. Process. Lett., 1979

1978
Design and Implementation of Data Abstraction Definition Facility.
Softw. Pract. Exp., 1978

Some Thoughts on the Construction of Programs - A Data-Directed Approach.
Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1977
Pointers and Data Abstractions in High Level Languages - I: Language Proposals.
Comput. Lang., 1977

1976
Specification and uniform reference to data structures in PL/I.
ACM SIGPLAN Notices, 1976

Toward a System's Environment for Computer Assisted Programming.
Inf. Process. Lett., 1976

Correctness of Data Representations: Pointers in High Level Languages.
Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

On the Implementation of Data Generality.
Proceedings of the Programmiersprachen, 1976

1974
Towards a definition of structured programming.
Proceedings of the 1974 ACM Annual Conference, 1974

1973
A methodology for producing reliable software systems.
Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, 1973

1971
Computers for Developing Countries.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971


  Loading...