Donald D. Cowan

CoRR, 2023

GPT-in-the-Loop: Adaptive Decision-Making for Multiagent Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Comparing Software Developers with ChatGPT: An Empirical Investigation.

[BibT_eX]

[DOI]

CoRR, 2023

Identifying Factors That Impact Levels of Automation in Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Access, 2023

Artificial Intelligence vs. Software Engineers: An Empirical Study on Performance and Efficiency using ChatGPT.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

Supporting Contextual Conversational Agent-Based Software Development.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International Workshop on Bots in Software Engineering, 2023

Extending Variability-Aware Model Selection with Bias Detection in Machine Learning Projects.

[BibT_eX]

[DOI]

Cristina Tavares

Proceedings of the IEEE International Conference on Big Data, 2023

Knowledge Graphs in Spatial-Temporal Cluster Evolution Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

Identifying Regions of High Demand for Transportation Services based on Cluster Evolution and Graph Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

GPT in Data Science: A Practical Exploration of Model Selection.

[BibT_eX]

[DOI]

Cristina Tavares

Proceedings of the IEEE International Conference on Big Data, 2023

GPT-in-the-Loop: Supporting Adaptation in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

Comparing Generative Chatbots Based on Process Requirements: A Case Study.

[BibT_eX]

[DOI]

Paulo Sérgio C. de Alencar

Toacy C. Oliveira

Proceedings of the IEEE International Conference on Big Data, 2023

Self-Adaptive Large Language Model (LLM)-Based Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

Variability-Aware Architecture for Human-Chatbot Interactions: Taming Levels of Automation.

[BibT_eX]

[DOI]

Glaucia Melo

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

A conceptual IoT-based early-warning architecture for remote monitoring of COVID-19 patients in wards and at home.

[BibT_eX]

[DOI]

Internet Things, 2022

Using apple watch ECG data for heart rate variability monitoring and stress prediction: A pilot study.

[BibT_eX]

[DOI]

Scott T. Leatherdale

Frontiers Digit. Health, 2022

Agile Assessment Methods: Current State of the Art.

[BibT_eX]

[DOI]

Ulisses Telemaco

CoRR, 2022

Scaffolding Process-Aware Information Systems with the AKIP Platform.

[BibT_eX]

[DOI]

Ulisses Telemaco Neto

Raquel M. Pillat

Don Cowan

Proceedings of the Web Information Systems and Technologies, 2022

AKIP Process Automation Platform: A Framework for the Development of Process-Aware Web Applications.

[BibT_eX]

[DOI]

Ulisses Telemaco Neto

Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

Adaptive Method for Machine Learning Model Selection in Data Science Projects.

[BibT_eX]

[DOI]

Cristina Tavares

Proceedings of the IEEE International Conference on Big Data, 2022

Understanding Levels of Automation in Human-Machine Collaboration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

A Graph-based Analysis Approach to Cluster Lifetime Dynamics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

A novel self-adaptive method for improving patient monitoring with composite early-warning scores.

[BibT_eX]

[DOI]

Adriano Branco

Markus Endler

Proceedings of the IEEE International Conference on Big Data, 2022

Assessing Energy Consumption in Data Acquisition from Smart Wearable Sensors in IoT-Based Health Applications.

[BibT_eX]

[DOI]

André Sarmento

Adriano Branco

Markus Endler

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Machine Learning Model Development from a Software Engineering Perspective: A Systematic Literature Review.

[BibT_eX]

[DOI]

Giuliano Lorenzoni

CoRR, 2021

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

PACAs: Process-Aware Conversational Agents.

[BibT_eX]

[DOI]

Toacy C. Oliveira

Proceedings of the Business Process Management Workshops, 2021

Towards Real-Time Public Health: A Novel Mobile Health Monitoring System.

[BibT_eX]

[DOI]

Scott T. Leatherdale

Maria Cristina Vale Tavares

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Towards Automated Variability-Aware Machine-Learning-Based Modeling Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Computational Analysis to Capture Cluster Lifetime Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

IoT-Based COVID-19 Health Monitoring System: Context, Early Warning and Self-Adaptation.

[BibT_eX]

[DOI]

Adriano Branco

Markus Endler

Pedro Miranda

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Context-Aware Data Analytics Variability in IoT Neural Network-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

A Lifecycle for Engineering IoT Neural Network-based Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

An Approach to Support Human-in-the-Loop Big Data Software Development Projects.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Knowledge-Oriented Graph-Based Approach to Capture the Evolution of Developers' Knowledge.

[BibT_eX]

[DOI]

Edson Lucas

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

MylynSDP - Process - aware artifact filtering based on interest.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2020

Exploring Context-Aware Conversational Agents in Software Development.

[BibT_eX]

[DOI]

Edith Law

Don Cowan

CoRR, 2020

A Catalogue of Agile Smells for Agility Assessment.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Framework for Spatial-Temporal Trajectory Cluster Analysis Based on Dynamic Relationships.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Metadata-Driven Approach for Testing Self-Organizing Multiagent Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

Understanding User Understanding: What do Developers Expect from a Cognitive Assistant?

[BibT_eX]

[DOI]

Edith Law

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

From Spatial-Temporal Cluster Relationships to Lifecycles: Framework and Mobility Applications.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

A Reference Model for IoT Embodied Agents Controlled by Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Spatial-Temporal Cluster Relations - A Foundation for Trajectory Cluster Lifetime Analysis.

[BibT_eX]

[DOI]

CoRR, 2019

Context-Augmented Software Development Projects: Literature Review and Preliminary Framework.

[BibT_eX]

[DOI]

CoRR, 2019

Cluster Lifecycle Analysis: Challenges, Techniques, and Framework.

[BibT_eX]

[DOI]

CoRR, 2019

AgileCritPath: Identifying Critical Tasks in Agile Environments.

[BibT_eX]

[DOI]

Rachel Vital

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Retrieving Curated Stack Overflow Posts from Project Task Similarities (S).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Metamodel to represent Agile Software Development Projects.

[BibT_eX]

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

A Catalog of Bad Agile Smells for Agility Assessment.

[BibT_eX]

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

Context-Augmented Software Development in Traditional and Big Data Projects: Literature Review and Preliminary Framework.

[BibT_eX]

[DOI]

Don Cowan

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Modeling Dynamic Spatial-Temporal Cluster Relationships.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

iEnvironment: Perspectives on Metadata-Oriented Testing of Research Software.

[BibT_eX]

[DOI]

Doug Mulholland

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

The use of machine learning algorithms in recommender systems: A systematic review.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

The Next Generation of Metadata-Oriented Testing of Research Software.

[BibT_eX]

[DOI]

Doug Mulholland

CoRR, 2018

Machine Learning-based Variability Handling in IoT Agents.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Towards using task similarity to recommend Stack Overflow posts.

[BibT_eX]

Proceedings of the XXI Iberoamerican Conference on Software Engineering, 2018

A context-aware machine learning-based approach.

[BibT_eX]

[DOI]

Maria Cristina Vale Tavares

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

A Software Framework for Cluster Lifecycle Analysis in Transportation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Trajectory Cluster Lifecycle Analysis: An Evolutionary Perspective.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

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

[BibT_eX]

[DOI]

Doug Mulholland

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

A formal modeling and analysis approach for access control rules, policies, and their combinations.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

A model for the socially smart city practical uses of city-level socio-economic indicators.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

iEnvironment: A software platform for integrated environmental monitoring and modeling of surface water.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

A uniform approach for access control and business models with explicit rule realization.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

A Preliminary Survey on Domain-Specific Languages for Machine Learning in Big Data.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Software Framework for PCa-Based Face Recognition.

[BibT_eX]

[DOI]

Peng Peng

Proceedings of the 2016 IEEE International Conference on Software Science, 2016

Towards a provenance-aware spatial-temporal architectural framework for massive data integration and analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

Natural Language-based Representation of User Preferences.

[BibT_eX]

[DOI]

Interact. Comput., 2015

BPMNt: A BPMN extension for specifying software process tailoring.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

Requirements Engineering for General Recommender Systems.

[BibT_eX]

[DOI]

CoRR, 2015

The Development of Normative Autonomous Agents: An Approach.

[BibT_eX]

[DOI]

Francisco J. P. Cunha

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

JSAN: A Framework to Implement Normative Agents.

[BibT_eX]

[DOI]

Marx L. Viana

Everton T. Guimarães

Francisco J. P. Cunha

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.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

An Open and Big Data Platform for Cumulative Environmental Analysis and Management.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014

An approach to correctness of security and operational business policies.

[BibT_eX]

[DOI]

Int. J. Account. Inf. Syst., 2014

Perspectives on Open Data: Issues and Opportunties.

[BibT_eX]

[DOI]

Fred McGarry

Proceedings of the 2014 IEEE International Conference on Software Science, 2014

Developing a collaborative cloud-based platform for watershed analysis and management.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Multi-sectoral collaborative open data applications.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Mining Reuse Processes.

[BibT_eX]

Talita Gomes

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013

Configurable Software Product Lines - Supporting Heterogeneous Configuration Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Safe and Secure Software Reuse, 2013

2012

Dreamcatcher: IT to Support Indigenous People.

[BibT_eX]

[DOI]

IT Prof., 2012

2011

ReuseTool - An extensible tool support for object-oriented framework reuse.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

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

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2011

Model Human Behavior: Don't Constrain It!

[BibT_eX]

[DOI]

Proceedings of the International Perspectives in Health Informatics, 2011

2010

Decision-making coordination and efficient reasoning techniques for feature-based configuration.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Asset-Mapping Approaches to Web-Based Collaborative Innovation.

[BibT_eX]

[DOI]

Fred McGarry

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Access Control Models for Business Processes.

[BibT_eX]

Proceedings of the SECRYPT 2010, 2010

A Web-Based Framework for Collaborative Innovation.

[BibT_eX]

[DOI]

Fred McGarry

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A Case for New Directions in Agent-Oriented Software Engineering.

[BibT_eX]

[DOI]

Elder Cirilo

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009

An event-driven high level model for the specification of laws in open multi-agent systems.

[BibT_eX]

[DOI]

Rodrigo B. de Paes

Gustavo R. de Carvalho

J. Syst. Softw., 2009

Lightweight query-based analysis of workflow process dependencies.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

S.P.L.O.T.: software product lines online tools.

[BibT_eX]

[DOI]

Moises Branco

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Building Service-Oriented User Agents Using a Software Product Line Approach.

[BibT_eX]

[DOI]

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verification of Access Control Policies for REA Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Abstract Data Types.

[BibT_eX]

[DOI]

Itana Maria de Souza Gimenes

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Service-oriented Process to Develop Web Applications.

[BibT_eX]

[DOI]

Fábio Zaupa

J. Univers. Comput. Sci., 2008

Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis.

[BibT_eX]

[DOI]

William Malyk

J. Softw., 2008

Decision-making coordination in collaborative product configuration.

[BibT_eX]

[DOI]

Thiago T. Bartolomei

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Efficient compilation techniques for large scale feature models.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Informal description and analysis of geographic requirements: an approach based on problems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

RDL: A language for framework instantiation representation.

[BibT_eX]

[DOI]

Itana Maria de Souza Gimenes

J. Syst. Softw., 2007

Composing pattern-based components and verifying correctness.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços.

[BibT_eX]

[DOI]

Fábio Zaupa

Proceedings of the First Brazilian Symposium on Software Components, 2007

A Web-Based Communities of Practice Support System for Caregivers.

[BibT_eX]

[DOI]

Shirley L. Fenton

H. Dominic Covvey

Judith Shamian

Bonnie Schroeder

Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

A Process-Centric Approach for Coordinating Product Configuration Decisions.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Automating the analysis of design component contracts.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

Towards a framework for collaborative and coordinated product configuration.

[BibT_eX]

[DOI]

Krzysztof Czarnecki

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Towards a framework for collaborative and coordinated product configuration.

[BibT_eX]

[DOI]

Krzysztof Czarnecki

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Authoring and Generation of Individualized Patient Education Materials.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2006, 2006

A Physician's Authoring Tool for Generation of Personalized Health Education in Reconstructive Surgery.

[BibT_eX]

[DOI]

Proceedings of the Argumentation for Consumers of Healthcare, 2006

2005

xTAO: enabling a declarative approach to the specification of multi-agent systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

A COTS architectural component specification stencil for selection and reasoning.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

An approach to formal automated analysis of problem-frame concerns.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2005

Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Response to Jiau et al.'s Comments.

[BibT_eX]

[DOI]

Ivan Mathias Filho

IEEE Trans. Software Eng., 2004

Software Process Representation and Analysis for Framework Instantiation.

[BibT_eX]

[DOI]

Ivan Mathias Filho

IEEE Trans. Software Eng., 2004

Agents in object-oriented software engineering.

[BibT_eX]

[DOI]

Alessandro F. Garcia

Softw. Pract. Exp., 2004

A behavioral analysis and verification approach to pattern-based design composition.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

2003

On Analysis of Design Component Contracts: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Formal Structure for Specifying the Content and Quality of the Electronic Health Record.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

A Formal Framework for Design Component Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003.

[BibT_eX]

[DOI]

José Alberto R. P. Sardinha

Alessandro F. Garcia

Alexander B. Romanovsky

Jaelson Castro

Proceedings of the 25th International Conference on Software Engineering, 2003

A service-oriented monitoring registry.

[BibT_eX]

[DOI]

Bahman Kalali

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

2002

A Logical Theory of Interfaces and Objects.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Taming access control security: extending capabilities using the views relationship.

[BibT_eX]

[DOI]

Marcus E. Markiewicz

Softw. Pract. Exp., 2002

Views and Patterns in E-Commerce Application Design.

[BibT_eX]

[DOI]

Marcus E. Markiewicz

Ann. Softw. Eng., 2002

A Framework for Community Information Systems.

[BibT_eX]

[DOI]

Martin Luo

Ann. Softw. Eng., 2002

Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

NSPF: Designing a Notification Service Provider Framework for Web Services.

[BibT_eX]

[DOI]

Bahman Kalali

Proceedings of the Web, 2002

EPHIP: An Innovative Program for Health Informatics Education.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2002, 2002

2001

An approach to formal specification and verification of map-centered applications.

[BibT_eX]

[DOI]

Environ. Model. Softw., 2001

Supporting Formal Verification of Crosscutting Concerns.

[BibT_eX]

[DOI]

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Geographic Problem Frames.

[BibT_eX]

[DOI]

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

A Behavioral Analysis Approach to Pattern-Based Composition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Marcus Fontoura

Sérgio Crespo Pinto

J. Syst. Softw., 2000

An Extensible Model of Architecture Description.

[BibT_eX]

[DOI]

Kurt Lichtner

Proceedings of the Applied Computing 2000, 2000

Towards a Unified Catalog of Hypermedia Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

A Model for Describing Object-Oriented Systems from Multiple Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Ensuring Structure and Behavior Correctness in Design Composition.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

A Framework for Software Architecture Verification.

[BibT_eX]

[DOI]

Kurt Lichtner

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999

Dynamic views of SGML tagged documents.

[BibT_eX]

[DOI]

Proceedings of the 17th annual international conference on Documentation, 1999

Formalizing the Specification of Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, 1999

Correct Composition of Design Components.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Pattern-Based Approach to Structural Design Composition.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

New Role for Community Networks.

[BibT_eX]

[DOI]

Commun. ACM, 1998

Using view-based models to formalize architecture description.

[BibT_eX]

[DOI]

Kurt Lichtner

Proceedings of the Third International Workshop on Software Architecture, 1998

A Model for Gluing Together.

[BibT_eX]

[DOI]

Luis C. M. Nova

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

A Transformational Approach to Structural Design Assessment and Change.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Viewpoints as an evolutionary approach to software system maintenance.

[BibT_eX]

[DOI]

Luiz Henrique de Figueiredo

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

1996

IUP/LED: A Portable User Interface Development Tool.

[BibT_eX]

[DOI]

C. H. Levy

Marcelo Gattass

Softw. Pract. Exp., 1996

A Formal Architectural Design Patterns-Based Approach to Software Understanding.

[BibT_eX]

[DOI]

Thomas Kunz

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

A Formal Approach to Architectural Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Validating Properties of Component-based Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Design, 1996

A Federated Database for Hypermedia Development for the WWW.

[BibT_eX]

Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996

1995

Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Experiments with the Z Interchange Format and SGML.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Formal Specification of Reusable Interface Objects.

[BibT_eX]

[DOI]

Luis C. M. Nova

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

An Object-Oriented Model for Designing the Human-Computer Interface Of Hypermedia Applications.

[BibT_eX]

[DOI]

Gustavo Rossi

Daniel Schwabe

Proceedings of the Hypermedia Design, 1995

Combining Formal Techniques and Prototyping in User Interface Construction and Verification.

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

A Framework for Machine-Assisted User Interface Verification.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

ADVcharts: a visual formalism for interactive systems.

[BibT_eX]

[DOI]

Carlos J. P. Lucena

ACM SIGCHI Bull., 1994

Enhancing Code for Readability and Comprehension Using SGML.

[BibT_eX]

[DOI]

Arndt von Staa

Proceedings of the International Conference on Software Maintenance, 1994

An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces.

[BibT_eX]

[DOI]

Debbie Smith

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.

[BibT_eX]

Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

On the automation of code generation for user interface models.

[BibT_eX]

[DOI]

Luis C. M. Nova

Arndt von Staa

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

An Environmental Data Sharing Architectural Model.

[BibT_eX]

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1993

Abstract Data Views.

[BibT_eX]

Roberto Ierusalimschy

Struct. Program., 1993

Application Integration: Constructing Composite Applications from Interactive Components.

[BibT_eX]

[DOI]

Roberto Ierusalimschy

Softw. Pract. Exp., 1993

CIRL/PIWI: a GUI Toolkit Supporting Retargetability.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1993

RE2C: A More Versatile Scanner Generator.

[BibT_eX]

[DOI]

LOPLAS, 1993

An Introduction to the OSI Directory Services.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1993

A Rationale for Both Nesting and Inheritance in Object-Oriented Design.

[BibT_eX]

[DOI]

Luiza Maria F. Carneiro

Carlos J. P. Lucena

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

ADVcharts: a graphical specification for abstract data views.

[BibT_eX]

[DOI]

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992

Programming Environments for End-Users.

[BibT_eX]

Roberto Ierusalimschy

Proceedings of the Personal Computers and Intelligent Systems, 1992

1991

Rita - an Editor and User Interface for Manipulating Structured Documents.

[BibT_eX]

Electron. Publ., 1991

1990

Interfaces as specifications in the MIDAS user interface development systems.

[BibT_eX]

[DOI]

Regina Helena B. Cabral

Ivan M. Campos

Carlos J. P. Lucena

ACM SIGSOFT Softw. Eng. Notes, 1990

1988

Networks for Education at the University of Waterloo.

[BibT_eX]

[DOI]

Comput. Networks, 1988

A network operating system for interconnected LANs with heterogeneous data-link layers.

[BibT_eX]

[DOI]

R. G. Veitch

Proceedings of the 13th Conference on Local Computer Networks, 1988

1984

UNISPEX - A Unified Model for Protocol Specification and Verification.

[BibT_eX]

Son T. Vuong

Proceedings of the Proceedings IEEE INFOCOM 84, San Francisco, CA, USA, April 9-12, 1984, 1984

The Data Transform Programming Metho: An Example for File Processing Problems.

[BibT_eX]

[DOI]

R. C. B. Martins

Paulo A. S. Veloso

Proceedings of the Proceedings, 1984

1983

Reachability analysis of protocols with FIFO channels.

[BibT_eX]

[DOI]

Son T. Vuong

Proceedings of the symposium on Communications Architectures & Protocols, 1983

1982

Waterloo microcomputer systems for the 1980's.

[BibT_eX]

[DOI]

J. Wesley Graham

Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

1980

A Data-directed Approach to Program Construction.

[BibT_eX]

[DOI]

J. Wesley Graham

James W. Welch

Softw. Pract. Exp., 1980

The development proposal: The first step in software system construction.

[BibT_eX]

[DOI]

Arndt von Staa

J. Syst. Softw., 1980

1978

Some Thoughts on the Construction of Programs - A Data-Directed Approach.

[BibT_eX]

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1976

Toward a System's Environment for Computer Assisted Programming.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1976

Development of educational software using the DEC PDP-11.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, 1976

1974

A lower bound on the average shortest path length in regular graphs.

[BibT_eX]

[DOI]

Networks, 1974

1970

A large-scale undergraduate programme in computer science.

[BibT_eX]

[DOI]

R. B. Roden

Proceedings of the 1st SIGCSE Technical Symposium on Computer Science Education, 1970

A complete package for introducing computer science.

[BibT_eX]

[DOI]

P. C. Brillinger

Proceedings of the 1st SIGCSE Technical Symposium on Computer Science Education, 1970

Design characteristics of the WATFOR compiler.

[BibT_eX]

[DOI]