Donald D. Cowan

Orcid: 0000-0002-5373-8522

Affiliations:
  • University of Waterloo, Canada


According to our database1, Donald D. Cowan authored at least 199 papers between 1970 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Assessing ML Classification Algorithms and NLP Techniques for Depression Detection: An Experimental Case Study.
CoRR, 2024

2023
Comparing Generative Chatbots Based on Process Requirements.
CoRR, 2023

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

Comparing Software Developers with ChatGPT: An Empirical Investigation.
CoRR, 2023

Identifying Factors That Impact Levels of Automation in Autonomous Systems.
IEEE Access, 2023

Artificial Intelligence vs. Software Engineers: An Empirical Study on Performance and Efficiency using ChatGPT.
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

Supporting Contextual Conversational Agent-Based Software Development.
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.
Proceedings of the IEEE International Conference on Big Data, 2023

Knowledge Graphs in Spatial-Temporal Cluster Evolution Analysis.
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.
Proceedings of the IEEE International Conference on Big Data, 2023

GPT in Data Science: A Practical Exploration of Model Selection.
Proceedings of the IEEE International Conference on Big Data, 2023

GPT-in-the-Loop: Supporting Adaptation in Multiagent Systems.
Proceedings of the IEEE International Conference on Big Data, 2023

Comparing Generative Chatbots Based on Process Requirements: A Case Study.
Proceedings of the IEEE International Conference on Big Data, 2023

Self-Adaptive Large Language Model (LLM)-Based Multiagent Systems.
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.
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.
Internet Things, 2022

Using apple watch ECG data for heart rate variability monitoring and stress prediction: A pilot study.
Frontiers Digit. Health, 2022

Agile Assessment Methods: Current State of the Art.
CoRR, 2022

Scaffolding Process-Aware Information Systems with the AKIP Platform.
Proceedings of the Web Information Systems and Technologies, 2022

AKIP Process Automation Platform: A Framework for the Development of Process-Aware Web Applications.
Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

Adaptive Method for Machine Learning Model Selection in Data Science Projects.
Proceedings of the IEEE International Conference on Big Data, 2022

Understanding Levels of Automation in Human-Machine Collaboration.
Proceedings of the IEEE International Conference on Big Data, 2022

A Graph-based Analysis Approach to Cluster Lifetime Dynamics.
Proceedings of the IEEE International Conference on Big Data, 2022

A novel self-adaptive method for improving patient monitoring with composite early-warning scores.
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.
Proceedings of the IEEE International Conference on Big Data, 2022

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

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

PACAs: Process-Aware Conversational Agents.
Proceedings of the Business Process Management Workshops, 2021

Towards Real-Time Public Health: A Novel Mobile Health Monitoring System.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Towards Automated Variability-Aware Machine-Learning-Based Modeling Analysis.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Computational Analysis to Capture Cluster Lifetime Dynamics.
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.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Context-Aware Data Analytics Variability in IoT Neural Network-Based Systems.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

A Lifecycle for Engineering IoT Neural Network-based Systems.
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.
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.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020
MylynSDP - Process - aware artifact filtering based on interest.
J. Braz. Comput. Soc., 2020

Exploring Context-Aware Conversational Agents in Software Development.
CoRR, 2020

A Catalogue of Agile Smells for Agility Assessment.
IEEE Access, 2020

A Framework for Spatial-Temporal Trajectory Cluster Analysis Based on Dynamic Relationships.
IEEE Access, 2020

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

Understanding User Understanding: What do Developers Expect from a Cognitive Assistant?
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.
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.
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.
CoRR, 2019

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

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

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

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

A 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

Context-Augmented Software Development in Traditional and Big Data Projects: Literature Review and Preliminary Framework.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Modeling Dynamic Spatial-Temporal Cluster Relationships.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

iEnvironment: Perspectives on Metadata-Oriented Testing of Research Software.
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.
Expert Syst. Appl., 2018

The Next Generation of Metadata-Oriented Testing of Research Software.
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

Towards using task similarity to recommend Stack Overflow posts.
Proceedings of the XXI Iberoamerican Conference on Software Engineering, 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 (IEEE BigData 2018), 2018

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

Trajectory Cluster Lifecycle Analysis: An Evolutionary Perspective.
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

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 (IEEE BigData 2018), 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 (IEEE 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 (IEEE 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 (IEEE BigData 2016), 2016

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

BPMNt: A BPMN extension for specifying software process tailoring.
Inf. Softw. Technol., 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. Account. Inf. Syst., 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 Prof., 2012

2011
ReuseTool - An extensible tool support for object-oriented framework reuse.
J. Syst. Softw., 2011

Developing multi-agent system product lines: from requirements to code.
Int. J. Agent Oriented Softw. Eng., 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.
J. Syst. Softw., 2009

Lightweight query-based analysis of workflow process dependencies.
J. Syst. Softw., 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. Univers. Comput. Sci., 2008

Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis.
J. Softw., 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.
Softw. Syst. Model., 2007

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

Composing pattern-based components and verifying correctness.
J. Syst. Softw., 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. Exp., 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 Softw. Eng. Notes, 2005

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

An approach to formal automated analysis of problem-frame concerns.
Inf. Softw. Technol., 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. Exp., 2004

A behavioral analysis and verification approach to pattern-based design composition.
Softw. Syst. Model., 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. Exp., 2002

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

A Framework for Community Information Systems.
Ann. Softw. 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.
Environ. Model. Softw., 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.
J. Syst. Softw., 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

Using view-based models to formalize architecture description.
Proceedings of the Third International Workshop on Software Architecture, 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. Exp., 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
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

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

1993
Abstract Data Views.
Struct. Program., 1993

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

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

RE2C: A More Versatile Scanner Generator.
LOPLAS, 1993

An Introduction to the OSI Directory Services.
Comput. Networks ISDN Syst., 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
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.
Electron. Publ., 1991

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

1988
Networks for Education at the University of Waterloo.
Comput. 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

1983
Reachability analysis of protocols with FIFO channels.
Proceedings of the symposium on Communications Architectures & Protocols, 1983

1982
Waterloo microcomputer systems for the 1980's.
Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

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

The development proposal: The first step in software system construction.
J. Syst. Softw., 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

Development of educational software using the DEC PDP-11.
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.
Networks, 1974

1970
A large-scale undergraduate programme in computer science.
Proceedings of the 1st SIGCSE Technical Symposium on Computer Science Education, 1970

A complete package for introducing computer science.
Proceedings of the 1st SIGCSE Technical Symposium on Computer Science Education, 1970

Design characteristics of the WATFOR compiler.
Proceedings of a Symposium on Compiler Optimization, 1970


  Loading...