dblp.uni-trier.dewww.uni-trier.de

Donald D. Cowan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
84EEIngrid 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: 236-245
83EERodrigo 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 82(4): 629-642 (2009)
82EEW. Dai, H. Dominic Covvey, Paulo S. C. Alencar, Donald D. Cowan: Lightweight query-based analysis of workflow process dependencies. Journal of Systems and Software 82(6): 915-931 (2009)
2008
81EEMarcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan: Efficient compilation techniques for large scale feature models. GPCE 2008: 13-22
80EEMarcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan: Decision-making coordination in collaborative product configuration. SAC 2008: 108-113
79EEDonald D. Cowan, Paulo S. C. Alencar: Abstract Data Types. Wiley Encyclopedia of Computer Science and Engineering 2008
78 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)
77EEMarcí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
76EEMarcílio Mendonça, Donald D. Cowan, Toacy Cavalcante de Oliveira: A Process-Centric Approach for Coordinating Product Configuration Decisions. HICSS 2007: 283
75EEShirley 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: 993-996
74EEJing 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)
73EEToacy 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)
72EEMaria 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
71EEMarcí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
70EEMarcílio Mendonça, Krzysztof Czarnecki, Donald D. Cowan: Towards a framework for collaborative and coordinated product configuration. OOPSLA Companion 2006: 774-775
69EEJing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006)
2005
68EEMarcí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
67EEJing 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)
66EEToacy 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)
65EEMaria 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)
63EEToacy 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)
62EEAlessandro F. Garcia, Carlos José Pereira de Lucena, Donald D. Cowan: Agents in object-oriented software engineering. Softw., Pract. Exper. 34(5): 489-521 (2004)
61EEJing 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
60EEBahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: A service-oriented monitoring registry. CASCON 2003: 107-121
59EECarlos 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
57EEH. 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
56EEJing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113
2002
55EEPaulo 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: 267-284
54EEBahman 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)
51EEPaulo 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-
48EEMaria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar: Geographic Problem Frames. RE 2001: 306-307
47EETorsten 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
45EEKurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: A Framework for Software Architecture Verification. Australian Software Engineering Conference 2000: 149-158
44EEJing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279-
43EETorsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: A Model for Describing Object-Oriented Systems from Multiple Perspectives. FASE 2000: 237-248
42EEDaniel 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
40EEMarcus 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
39EEPaulo 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
37EEDaniel M. Germán, Donald D. Cowan: Formalizing the Specification of Web Applications. ER (Workshops) 1999: 281-292
36EEB. 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
35EEPaulo 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
34EEPaulo 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
32EEPaulo 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
29EEPaulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Formal Approach to Architectural Design Patterns. FME 1996: 576-594
28EEPaulo 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
23EEPaulo 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
21EEDonald 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
19EEL. 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
15EELuiza 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)
13EEPeter 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
4EEArndt 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)

Coauthor Index

1Paulo S. C. Alencar [18] [23] [25] [26] [28] [29] [30] [32] [34] [35] [36] [38] [39] [40] [41] [43] [44] [45] [46] [47] [48] [49] [51] [52] [53] [54] [55] [56] [58] [59] [60] [61] [63] [64] [65] [66] [67] [68] [69] [72] [73] [74] [78] [79] [82] [84]
2Thiago T. Bartolomei [80]
3Daniel M. Berry [57]
4Peter Bumbulis [13] [14] [25] [26] [30]
5Luiza Marija F. Carneiro-Coffin [15] [17] [18]
6Gustavo R. de Carvalho [83]
7Jaelson Brelaz de Castro (Jaelson Castro) [59]
8Lawrence Chung [67]
9H. Dominic Covvey [57] [75] [82]
10Sérgio Crespo [40]
11Krzysztof Czarnecki [70] [71] [81]
12W. Dai [82]
13Jing Dong [34] [38] [39] [44] [49] [56] [58] [61] [67] [69] [74]
14C. M. Durance [11] [14]
15Shirley L. Fenton [7] [75]
16Luiz Henrique de Figueiredo [27]
17Ivan Mathias Filho [63] [64]
18Marcus Fontoura [40]
19B. Fraser [36]
20Alessandro F. Garcia (Alessandro Garcia) [59] [62]
21W. Gasparini [33]
22Marcelo Gattass [27]
23Daniel M. Germán [16] [22] [31] [36] [37] [42]
24E. Giguère [11]
25Itana Maria de Souza Gimenes [78]
26J. Wesley Graham [3] [7]
27Trevor R. Grove [20]
28Roberto Ierusalimschy [9] [10] [12]
29Bahman Kalali [54] [60]
30Thomas Kunz [28]
31David C.-L. Lam [20]
32C. H. Levy [27]
33Kurt Lichtner [41] [45]
34Carlos José Pereira de Lucena [1] [2] [3] [6] [10] [12] [15] [16] [17] [18] [19] [21] [23] [24] [25] [26] [27] [28] [29] [30] [32] [34] [35] [39] [40] [50] [51] [53] [59] [62] [63] [64] [66] [73] [78] [83] [84]
35Martin Luo [52]
36E. W. Mackie [8]
37William Malyk [77]
38Marcus E. Markiewicz [50] [53]
39R. C. B. Martins [6]
40Colin I. Mayfield [20] [33]
41Marcílio Mendonça [68] [70] [71] [76] [77] [80] [81]
42Douglas W. Mulholland [55] [75]
43Maria Augusta V. Nelson [46] [48] [65] [72]
44Torsten Nelson [32] [43] [47] [65]
45Ross T. Newkirk [20]
46L. C. M. Nova [19] [23] [35] [36]
47Ingrid Nunes [84]
48Toacy Cavalcante de Oliveira [55] [63] [64] [66] [68] [71] [73] [76] [77]
49Rodrigo B. de Paes [83]
50G. M. Pianosi [8] [11] [36]
51J. Roberts [36]
52Alexander Romanovsky (Alexander B. Romanovsky) [59]
53Gustavo Rossi [24]
54José Alberto R. P. Sardinha [59]
55Bonnie Schroeder [75]
56Daniel Schwabe [24]
57Judith Shamian [75]
58Michael A. Shepherd [57]
59G. de V. Smit [8]
60D. Smith [17]
61Arndt von Staa [4] [16] [19]
62Terry M. Stepien [7] [9] [10] [12] [14]
63David A. Swayne [20]
64Frank Wm. Tompa [33]
65Paulo A. S. Veloso [6]
66Son T. Vuong [5]
67Andrzej Wasowski [81]
68James W. Welch [3]
69Sheng Yang [67] [74]
70Fábio Zaupa [78]
71David Zitner [57]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)