| 2008 |
|---|
| 80 | EE | Marcílio Mendonça,
Andrzej Wasowski,
Krzysztof Czarnecki,
Donald D. Cowan:
Efficient compilation techniques for large scale feature models.
GPCE 2008: 13-22 |
| 79 | EE | Marcílio Mendonça,
Thiago T. Bartolomei,
Donald D. Cowan:
Decision-making coordination in collaborative product configuration.
SAC 2008: 108-113 |
| 78 | EE | Donald D. Cowan,
Paulo S. C. Alencar:
Abstract Data Types.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 77 | | 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 14(8): 1368-1387 (2008) |
| 76 | EE | Marcílio Mendonça,
Donald D. Cowan,
William Malyk,
Toacy Cavalcante de Oliveira:
Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis.
JSW 3(2): 69-82 (2008) |
| 2007 |
|---|
| 75 | EE | Marcílio Mendonça,
Donald D. Cowan,
Toacy Cavalcante de Oliveira:
A Process-Centric Approach for Coordinating Product Configuration Decisions.
HICSS 2007: 283 |
| 74 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan,
Sheng Yang:
Composing pattern-based components and verifying correctness.
Journal of Systems and Software 80(11): 1755-1769 (2007) |
| 73 | EE | 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 80(11): 1902-1929 (2007) |
| 72 | EE | 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 6(3): 223-245 (2007) |
| 2006 |
|---|
| 71 | EE | 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: 649-650 |
| 70 | EE | Marcílio Mendonça,
Krzysztof Czarnecki,
Donald D. Cowan:
Towards a framework for collaborative and coordinated product configuration.
OOPSLA Companion 2006: 774-775 |
| 69 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Automating the analysis of design component contracts.
Softw., Pract. Exper. 36(1): 27-71 (2006) |
| 2005 |
|---|
| 68 | EE | 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: 94-95 |
| 67 | EE | 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 30(4): 1-4 (2005) |
| 66 | EE | 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 30(4): 1-7 (2005) |
| 65 | EE | 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 47(14): 913-927 (2005) |
| 2004 |
|---|
| 64 | | 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. 30(10): 708- (2004) |
| 63 | EE | 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. 30(3): 145-159 (2004) |
| 62 | EE | Alessandro F. Garcia,
Carlos José Pereira de Lucena,
Donald D. Cowan:
Agents in object-oriented software engineering.
Softw., Pract. Exper. 34(5): 489-521 (2004) |
| 61 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A behavioral analysis and verification approach to pattern-based design composition.
Software and System Modeling 3(4): 262-272 (2004) |
| 2003 |
|---|
| 60 | EE | Bahman Kalali,
Paulo S. C. Alencar,
Donald D. Cowan:
A service-oriented monitoring registry.
CASCON 2003: 107-121 |
| 59 | EE | 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.
ICSE 2003: 771-772 |
| 58 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A Formal Framework for Design Component Contracts.
IRI 2003: 53-60 |
| 57 | EE | 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: 162-168 |
| 56 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
On Analysis of Design Component Contracts: A Case Study.
STEP 2003: 103-113 |
| 2002 |
|---|
| 55 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
D. Mulholland,
Toacy Cavalcante de Oliveira:
Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.
SELMAS 2002: 267-284 |
| 54 | EE | 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: 73-90 |
| 53 | | 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. 13(1-4): 111-140 (2002) |
| 52 | | Paulo S. C. Alencar,
Donald D. Cowan,
Martin Luo:
A Framework for Community Information Systems.
Ann. Software Eng. 13(1-4): 381-411 (2002) |
| 51 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Carlos José Pereira de Lucena:
A Logical Theory of Interfaces and Objects.
IEEE Trans. Software Eng. 28(6): 548-575 (2002) |
| 50 | | Marcus E. Markiewicz,
Carlos José Pereira de Lucena,
Donald D. Cowan:
Taming access control security: extending capabilities using the views relationship.
Softw., Pract. Exper. 32(4): 341-358 (2002) |
| 2001 |
|---|
| 49 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A Behavioral Analysis Approach to Pattern-Based Composition.
OOIS 2001: 540- |
| 48 | EE | Maria Augusta V. Nelson,
Donald D. Cowan,
Paulo S. C. Alencar:
Geographic Problem Frames.
RE 2001: 306-307 |
| 47 | EE | Torsten Nelson,
Donald D. Cowan,
Paulo S. C. Alencar:
Supporting Formal Verification of Crosscutting Concerns.
Reflection 2001: 153-169 |
| 46 | | 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 16(5): 459-465 (2001) |
| 2000 |
|---|
| 45 | EE | Kurt Lichtner,
Paulo S. C. Alencar,
Donald D. Cowan:
A Framework for Software Architecture Verification.
Australian Software Engineering Conference 2000: 149-158 |
| 44 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Ensuring Structure and Behavior Correctness in Design Composition.
ECBS 2000: 279- |
| 43 | EE | Torsten Nelson,
Donald D. Cowan,
Paulo S. C. Alencar:
A Model for Describing Object-Oriented Systems from Multiple Perspectives.
FASE 2000: 237-248 |
| 42 | EE | Daniel M. Germán,
Donald D. Cowan:
Towards a Unified Catalog of Hypermedia Design Patterns.
HICSS 2000 |
| 41 | | Kurt Lichtner,
Paulo S. C. Alencar,
Donald D. Cowan:
An Extensible Model of Architecture Description.
SAC (1) 2000: 156-165 |
| 40 | EE | 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 54(3): 239-257 (2000) |
| 1999 |
|---|
| 39 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Jing Dong,
Carlos José Pereira de Lucena:
A Pattern-Based Approach to Structural Design Composition.
COMPSAC 1999: 160-165 |
| 38 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Correct Composition of Design Components.
ECOOP Workshops 1999: 188 |
| 37 | EE | Daniel M. Germán,
Donald D. Cowan:
Formalizing the Specification of Web Applications.
ER (Workshops) 1999: 281-292 |
| 36 | EE | 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: 93-98 |
| 1998 |
|---|
| 35 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Carlos José Pereira de Lucena,
L. C. M. Nova:
A Model for Gluing Together.
ECOOP Workshops 1998: 157-158 |
| 34 | EE | 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: 60-61 |
| 33 | | Donald D. Cowan,
Colin I. Mayfield,
Frank Wm. Tompa,
W. Gasparini:
New Role for Community Networks.
Commun. ACM 41(4): 61-63 (1998) |
| 1997 |
|---|
| 32 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Torsten Nelson,
Carlos José Pereira de Lucena:
Viewpoints as an evolutionary approach to software system maintenance.
ICSM 1997: 260- |
| 1996 |
|---|
| 31 | | Daniel M. Germán,
Donald D. Cowan:
A Federated Database for Hypermedia Development for the WWW.
CODAS 1996: 178-181 |
| 30 | | 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: 347-365 |
| 29 | | Paulo S. C. Alencar,
Donald D. Cowan,
Carlos José Pereira de Lucena:
A Formal Approach to Architectural Design Patterns.
FME 1996: 576-594 |
| 28 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Thomas Kunz,
Carlos José Pereira de Lucena:
A Formal Architectural Design Patterns-Based Approach to Software Understanding.
WPC 1996: 154-163 |
| 27 | | 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. 26(7): 737-762 (1996) |
| 1995 |
|---|
| 26 | | Peter Bumbulis,
Paulo S. C. Alencar,
Donald D. Cowan,
Carlos José Pereira de Lucena:
A Framework for Machine-Assisted User Interface Verification.
AMAST 1995: 461-474 |
| 25 | | 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: 174-192 |
| 24 | | 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: 123-143 |
| 23 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Carlos José Pereira de Lucena,
L. C. M. Nova:
Formal Specification of Reusable Interface Objects.
SSR 1995: 88-96 |
| 22 | | Daniel M. Germán,
Donald D. Cowan:
Experiments with the Z Interchange Format and SGML.
ZUM 1995: 224-233 |
| 21 | EE | Donald D. Cowan,
Carlos José Pereira de Lucena:
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse.
IEEE Trans. Software Eng. 21(3): 229-243 (1995) |
| 1994 |
|---|
| 20 | | 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: 271-272 |
| 19 | EE | 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: 50 |
| 18 | | 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: 253-274 |
| 17 | | 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: 141-158 |
| 16 | | 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: 181-190 |
| 1993 |
|---|
| 15 | EE | Luiza Marija F. Carneiro-Coffin,
Donald D. Cowan,
Carlos José Pereira de Lucena:
ADVcharts: a graphical specification for abstract data views.
CASCON 1993: 84-96 |
| 14 | | Peter Bumbulis,
Donald D. Cowan,
C. M. Durance,
Terry M. Stepien:
An Introduction to the OSI Directory Services.
Computer Networks and ISDN Systems 26(2): 239-249 (1993) |
| 13 | EE | Peter Bumbulis,
Donald D. Cowan:
RE2C: A More Versatile Scanner Generator.
LOPLAS 2(1-4): 70-84 (1993) |
| 12 | | Donald D. Cowan,
Terry M. Stepien,
Roberto Ierusalimschy,
Carlos José Pereira de Lucena:
Application Integration: Constructing Composite Applications from Interactive Components.
Softw., Pract. Exper. 23(3): 255-275 (1993) |
| 11 | | Donald D. Cowan,
C. M. Durance,
E. Giguère,
G. M. Pianosi:
CIRL/PIWI: a GUI Toolkit Supporting Retargetability.
Softw., Pract. Exper. 23(5): 511-527 (1993) |
| 10 | | Donald D. Cowan,
Roberto Ierusalimschy,
Carlos José Pereira de Lucena,
Terry M. Stepien:
Abstract Data Views.
Structured Programming 14(1): 1-14 (1993) |
| 1992 |
|---|
| 9 | | Donald D. Cowan,
Roberto Ierusalimschy,
Terry M. Stepien:
Programming Environments for End-Users.
IFIP Congress (3) 1992: 54-60 |
| 1991 |
|---|
| 8 | | 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 4(3): 125-150 (1991) |
| 1988 |
|---|
| 7 | | Donald D. Cowan,
Shirley L. Fenton,
J. Wesley Graham,
Terry M. Stepien:
Networks for Education at the University of Waterloo.
Computer Networks 15: 313-327 (1988) |
| 1984 |
|---|
| 6 | | 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: 388-397 |
| 5 | | Son T. Vuong,
Donald D. Cowan:
UNISPEX - A Unified Model for Protocol Specification and Verification.
INFOCOM 1984: 318-327 |
| 1980 |
|---|
| 4 | EE | Arndt von Staa,
Donald D. Cowan:
The development proposal: The first step in software system construction.
Journal of Systems and Software 1: 107-122 (1980) |
| 3 | | Donald D. Cowan,
J. Wesley Graham,
James W. Welch,
Carlos José Pereira de Lucena:
A Data-directed Approach to Program Construction.
Softw., Pract. Exper. 10(5): 355-372 (1980) |
| 1978 |
|---|
| 2 | | 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: 531-535 |
| 1976 |
|---|
| 1 | | Carlos José Pereira de Lucena,
Donald D. Cowan:
Toward a System's Environment for Computer Assisted Programming.
Inf. Process. Lett. 5(2): 35-40 (1976) |
