| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Donald D. Cowan |
ReuseTool - An extensible tool support for object-oriented framework reuse.  |
Journal of Systems and Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Nunes, Carlos José Pereira de Lucena, Donald D. Cowan, Uirá Kulesza, Paulo S. C. Alencar, Camila Nunes |
Developing multi-agent system product lines: from requirements to code. |
IJAOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Dominic Covvey, Donald D. Cowan, Paulo S. C. Alencar, William Malyk, Joel So, D. Henriques, Shirley L. Fenton |
Model Human Behavior: Don't Constrain It! |
ITCH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcílio Mendonça, Donald D. Cowan |
Decision-making coordination and efficient reasoning techniques for feature-based configuration. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes |
Asset-Mapping Approaches to Web-Based Collaborative Innovation. |
Web Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Nunes, Donald D. Cowan, Elder Cirilo, Carlos José Pereira de Lucena |
A Case for New Directions in Agent-Oriented Software Engineering. |
AOSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes |
A Web-Based Framework for Collaborative Innovation. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid R. Karimi, Donald D. Cowan |
Access Control Models for Business Processes. |
SECRYPT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rodrigo B. de Paes, Carlos José Pereira de Lucena, Gustavo R. de Carvalho, Donald D. Cowan |
An event-driven high level model for the specification of laws in open multi-agent systems. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Dai, H. Dominic Covvey, Paulo S. C. Alencar, Donald D. Cowan |
Lightweight query-based analysis of workflow process dependencies. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid R. Karimi, Donald D. Cowan |
Verification of Access Control Policies for REA Business Processes. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcílio Mendonça, Moises Branco, Donald D. Cowan |
S.P.L.O.T.: software product lines online tools. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
feature model automated analysis, interactive configuration, software product lines, feature models, automated reasoning |
| 1 | Ingrid Nunes, Carlos José Pereira de Lucena, Donald D. Cowan, Paulo S. C. Alencar |
Building Service-Oriented User Agents Using a Software Product Line Approach. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Service-oriented Architectures, Personalization, Software Product Lines, User Agents |
| 1 | Marcílio Mendonça, Donald D. Cowan, William Malyk, Toacy Cavalcante de Oliveira |
Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis. |
JSW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio Zaupa, Itana Maria de Souza Gimenes, Donald D. Cowan, Paulo S. C. Alencar, Carlos José Pereira de Lucena |
A Service-oriented Process to Develop Web Applications. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar |
Abstract Data Types. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan |
Decision-making coordination in collaborative product configuration. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
collaborative product configuration, work coordination, workflows, software product lines, feature models |
| 1 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan |
Efficient compilation techniques for large scale feature models. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
formal verification, model-driven development, software-product lines, configuration, feature modeling |
| 1 | Maria Augusta V. Nelson, Paulo S. C. Alencar, Donald D. Cowan |
Informal description and analysis of geographic requirements: an approach based on problems. |
Software and System Modeling |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, Sheng Yang |
Composing pattern-based components and verifying correctness. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Carlos José Pereira de Lucena, Donald D. Cowan |
RDL: A language for framework instantiation representation. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcílio Mendonça, Donald D. Cowan, Toacy Cavalcante de Oliveira |
A Process-Centric Approach for Coordinating Product Configuration Decisions. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shirley L. Fenton, H. Dominic Covvey, Douglas W. Mulholland, Donald D. Cowan, Judith Shamian, Bonnie Schroeder |
A Web-Based Communities of Practice Support System for Caregivers. |
MedInfo |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Automating the analysis of design component contracts. |
Softw., Pract. Exper. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chrysanne Di Marco, Donald D. Cowan, Peter Bray, H. Dominic Covvey, Vic Di Ciccio, Eduard H. Hovy, Joan Lipa, Douglas W. Mulholland |
A Physician's Authoring Tool for Generation of Personalized Health Education in Reconstructive Surgery. |
AAAI Spring Symposium: Argumentation for Consumers of Healthcare |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcílio Mendonça, Krzysztof Czarnecki, Donald D. Cowan |
Towards a framework for collaborative and coordinated product configuration. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
collaborative product configuration, software product lines, feature modeling |
| 1 | Marcílio Mendonça, Krzysztof Czarnecki, Toacy Cavalcante de Oliveira, Donald D. Cowan |
Towards a framework for collaborative and coordinated product configuration. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
collaborative product configuration, software product lines, feature modeling |
| 1 | Maria Augusta V. Nelson, Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan |
An approach to formal automated analysis of problem-frame concerns. |
Information & Software Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
xTAO: enabling a declarative approach to the specification of multi-agent systems. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Sheng Yang, Lawrence Chung, Paulo S. C. Alencar, Donald D. Cowan |
A COTS architectural component specification stencil for selection and reasoning. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan |
Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks |
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A behavioral analysis and verification approach to pattern-based design composition. |
Software and System Modeling |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Design patterns, Software components, Software design, Software specification, Hypermedia systems |
| 1 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan |
Response to Jiau et al.'s Comments. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan |
Software Process Representation and Analysis for Framework Instantiation. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
lightweight analysis, Frameworks, specification, software process, software design, instantiation, design analysis |
| 1 | Alessandro F. Garcia, Carlos José Pereira de Lucena, Donald D. Cowan |
Agents in object-oriented software engineering. |
Softw., Pract. Exper. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A Formal Framework for Design Component Contracts. |
IRI |
2003 |
DBLP BibTeX RDF |
|
| 1 | H. Dominic Covvey, David Zitner, Daniel M. Berry, Donald D. Cowan, Michael A. Shepherd |
Formal Structure for Specifying the Content and Quality of the Electronic Health Record. |
RE |
2003 |
DBLP DOI BibTeX RDF |
Electronic Data Record, type system, requirements specification, requirements elicitation |
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
On Analysis of Design Component Contracts: A Case Study. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
Component-based software design, Model Checking, Design Pattern, Contract, Web-based systems, Process Calculus |
| 1 | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan |
A service-oriented monitoring registry. |
CASCON |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar, Donald D. Cowan |
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Logical Theory of Interfaces and Objects. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Abstract design views, user interfaces, verification, concurrency, specification, logic, objects |
| 1 | Marcus E. Markiewicz, Carlos José Pereira de Lucena, Donald D. Cowan |
Taming access control security: extending capabilities using the views relationship. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus E. Markiewicz, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Donald D. Cowan |
Views and Patterns in E-Commerce Application Design. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Martin Luo |
A Framework for Community Information Systems. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan |
NSPF: Designing a Notification Service Provider Framework for Web Services. |
Web, Web-Services, and Database Systems |
2002 |
DBLP DOI BibTeX RDF |
Web Service, Framework, Design Patterns, Profile, Failures, Version Control, Software Change, Event Notification |
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Douglas W. Mulholland, Toacy Cavalcante de Oliveira |
Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents. |
SELMAS |
2002 |
DBLP DOI BibTeX RDF |
Web-based user interfaces, e-commerce, monitoring, distributed databases, business process, Software agents, data management, software design, events, events, e-business, data consistency |
| 1 | Maria Augusta V. Nelson, Paulo S. C. Alencar, Donald D. Cowan |
An approach to formal specification and verification of map-centered applications. |
Environmental Modelling and Software |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A Behavioral Analysis Approach to Pattern-Based Composition. |
OOIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar |
Geographic Problem Frames. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar |
Supporting Formal Verification of Crosscutting Concerns. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Fontoura, Sérgio Crespo, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Donald D. Cowan |
Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain. |
Journal of Systems and Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan |
A Framework for Software Architecture Verification. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
formal modeling, architecture description languages (ADLs), higher-order logic, Software architecture analysis |
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Ensuring Structure and Behavior Correctness in Design Composition. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components |
| 1 | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan |
An Extensible Model of Architecture Description. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar |
A Model for Describing Object-Oriented Systems from Multiple Perspectives. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Germán, Donald D. Cowan |
Towards a Unified Catalog of Hypermedia Design Patterns. (PDF / PS) |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
design patterns, hypermedia design |
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Correct Composition of Design Components. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | B. Fraser, J. Roberts, G. M. Pianosi, Paulo S. C. Alencar, Donald D. Cowan, Daniel M. Germán, L. C. M. Nova |
Dynamic views of SGML tagged documents. |
SIGDOC |
1999 |
DBLP DOI BibTeX RDF |
dynamic views, tagging languages, XML, World-Wide Web, usability, relational databases, SQL, SQL, documentation, SGML, SGML, hyperlinks |
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena |
A Pattern-Based Approach to Structural Design Composition. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
design transformation, design pattern, Prolog, software evolution, object-oriented design, design process, design reuse, Design component |
| 1 | Daniel M. Germán, Donald D. Cowan |
Formalizing the Specification of Web Applications. |
ER (Workshops) |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Colin I. Mayfield, Frank Wm. Tompa, W. Gasparini |
New Role for Community Networks. |
Commun. ACM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena |
A Transformational Approach to Structural Design Assessment and Change. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova |
A Model for Gluing Together. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Torsten Nelson, Carlos José Pereira de Lucena |
Viewpoints as an evolutionary approach to software system maintenance. (PDF / PS) |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
software system maintenance, black box approach, software system evolution, NACHOS file system, object oriented software systems, general transformational approach, semantics, software maintenance, case study, software design, viewpoints, evolutionary approach |
| 1 | C. H. Levy, Luiz Henrique de Figueiredo, Marcelo Gattass, Carlos José Pereira de Lucena, Donald D. Cowan |
IUP/LED: A Portable User Interface Development Tool. |
Softw., Pract. Exper. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Germán, Donald D. Cowan |
A Federated Database for Hypermedia Development for the WWW. |
CODAS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz, Carlos José Pereira de Lucena |
A Formal Architectural Design Patterns-Based Approach to Software Understanding. (PDF / PS) |
WPC |
1996 |
DBLP DOI BibTeX RDF |
Architectural Design Patterns, Process Clustering, Abstract Data Views, Development Constructors, User Interfaces, Formal Methods, Reverse Engineering, Object-oriented Programming, Interfaces, Process Languages |
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Formal Approach to Architectural Design Patterns. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
Validating Properties of Component-based Graphical User Interfaces. |
DSV-IS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Carlos José Pereira de Lucena |
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Abstract data objects, user interfaces, interfaces, programming, end-user programming, script languages, interactive applications |
| 1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Framework for Machine-Assisted User Interface Verification. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Germán, Donald D. Cowan |
Experiments with the Z Interchange Format and SGML. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Rossi, Daniel Schwabe, Carlos José Pereira de Lucena, Donald D. Cowan |
An Object-Oriented Model for Designing the Humam-Computer Interface Of Hypermedia Applications. |
IWHD |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova |
Formal Specification of Reusable Interface Objects. |
SSR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
Combining Formal Techniques and Prototyping in User Interface Construction and Verification. |
DSV-IS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena |
The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large. |
COODBSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Trevor R. Grove, David C.-L. Lam, Colin I. Mayfield, Ross T. Newkirk, David A. Swayne |
An Environmental Data Sharing Architectural Model. |
Applied Informatics |
1994 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Daniel M. Germán, Carlos José Pereira de Lucena, Arndt von Staa |
Enhancing Code for Readability and Comprehension Using SGML. |
ICSM |
1994 |
DBLP BibTeX RDF |
|
| 1 | L. C. M. Nova, Donald D. Cowan, Arndt von Staa, Carlos José Pereira de Lucena |
On the automation of code generation for user interface models. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena, D. Smith |
An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces. |
ICSE Workshop on SE-HCI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Roberto Ierusalimschy, Carlos José Pereira de Lucena, Terry M. Stepien |
Abstract Data Views. |
Structured Programming |
1993 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Terry M. Stepien, Roberto Ierusalimschy, Carlos José Pereira de Lucena |
Application Integration: Constructing Composite Applications from Interactive Components. |
Softw., Pract. Exper. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, C. M. Durance, E. Giguère, G. M. Pianosi |
CIRL/PIWI: a GUI Toolkit Supporting Retargetability. |
Softw., Pract. Exper. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bumbulis, Donald D. Cowan, C. M. Durance, Terry M. Stepien |
An Introduction to the OSI Directory Services. |
Computer Networks and ISDN Systems |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bumbulis, Donald D. Cowan |
RE2C: A More Versatile Scanner Generator. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
scanner generator, lexical analysis |
| 1 | Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena |
ADVcharts: a graphical specification for abstract data views. |
CASCON |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Roberto Ierusalimschy, Terry M. Stepien |
Programming Environments for End-Users. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, E. W. Mackie, G. M. Pianosi, G. de V. Smit |
Rita - an Editor and User Interface for Manipulating Structured Documents. |
Electronic Publishing |
1991 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Shirley L. Fenton, J. Wesley Graham, Terry M. Stepien |
Networks for Education at the University of Waterloo. |
Computer Networks |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Son T. Vuong, Donald D. Cowan |
UNISPEX - A Unified Model for Protocol Specification and Verification. |
INFOCOM |
1984 |
DBLP BibTeX RDF |
|
| 1 | Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan |
The Data Transform Programming Metho: An Example for File Processing Problems. |
ICSE |
1984 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, J. Wesley Graham, James W. Welch, Carlos José Pereira de Lucena |
A Data-directed Approach to Program Construction. |
Softw., Pract. Exper. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Arndt von Staa, Donald D. Cowan |
The development proposal: The first step in software system construction. |
Journal of Systems and Software |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Carlos José Pereira de Lucena |
Some Thoughts on the Construction of Programs - A Data-Directed Approach. |
Jerusalem Conference on Information Technology |
1978 |
DBLP BibTeX RDF |
|
| 1 | Carlos José Pereira de Lucena, Donald D. Cowan |
Toward a System's Environment for Computer Assisted Programming. |
Inf. Process. Lett. |
1976 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")