Donald D. Cowan

According to our database1, Donald D. Cowan authored at least 143 papers between 1974 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
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 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

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

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

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

2015
Natural Language-based Representation of User Preferences.
Interacting with Computers, 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

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

2012
Dreamcatcher: IT to Support Indigenous People.
IT Professional, 2012

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
Decision-making coordination and efficient reasoning techniques for feature-based configuration.
Sci. Comput. Program., 2010

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

Access Control Models for Business Processes.
Proceedings of the SECRYPT 2010, 2010

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

A Case for New Directions in Agent-Oriented Software Engineering.
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.
Journal of Systems and Software, 2009

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

S.P.L.O.T.: software product lines online tools.
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.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verification of Access Control Policies for REA Business Processes.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 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

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

Decision-making coordination in collaborative product configuration.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Efficient compilation techniques for large scale feature models.
Proceedings of the Generative Programming and Component Engineering, 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

A Web-Based Communities of Practice Support System for Caregivers.
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.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

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

Towards a framework for collaborative and coordinated product configuration.
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.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Authoring and Generation of Individualized Patient Education Materials.
Proceedings of the AMIA 2006, 2006

A Physician's Authoring Tool for Generation of Personalized Health Education in Reconstructive Surgery.
Proceedings of the Argumentation for Consumers of Healthcare, 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

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. Exper., 2004

A behavioral analysis and verification approach to pattern-based design composition.
Software and Systems Modeling, 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

Formal Structure for Specifying the Content and Quality of the Electronic Health Record.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 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

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

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

A Framework for Community Information Systems.
Ann. Software Eng., 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

EPHIP: An Innovative Program for Health Informatics Education.
Proceedings of the AMIA 2002, 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

Towards a Unified Catalog of Hypermedia Design Patterns.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 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

Formalizing the Specification of Web Applications.
Proceedings of the Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, 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
New Role for Community Networks.
Commun. ACM, 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
IUP/LED: A Portable User Interface Development Tool.
Softw., Pract. Exper., 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

A Federated Database for Hypermedia Development for the WWW.
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.
IEEE Trans. Software Eng., 1995

Experiments with the Z Interchange Format and SGML.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 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

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

An Environmental Data Sharing Architectural Model.
Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1993
Abstract Data Views.
Structured Programming, 1993

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

CIRL/PIWI: a GUI Toolkit Supporting Retargetability.
Softw., Pract. Exper., 1993

RE2C: A More Versatile Scanner Generator.
LOPLAS, 1993

An Introduction to the OSI Directory Services.
Computer Networks and ISDN Systems, 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
Programming Environments for End-Users.
Proceedings of the Personal Computers and Intelligent Systems, 1992

1991
Rita - an Editor and User Interface for Manipulating Structured Documents.
Electronic Publishing, 1991

1988
Networks for Education at the University of Waterloo.
Computer Networks, 1988

A network operating system for interconnected LANs with heterogeneous data-link layers.
Proceedings of the 13th Conference on Local Computer Networks, 1988

1984
UNISPEX - A Unified Model for Protocol Specification and Verification.
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.
Proceedings of the Proceedings, 1984

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

The development proposal: The first step in software system construction.
Journal of Systems and Software, 1980

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

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

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


  Loading...