- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j39 |      | Donald D. Cowan, Fred McGarry, Heather Moran, Daniel McCarthy, Clynt King: Dreamcatcher: IT to Support Indigenous People. IT Professional 14(4): 39-47 (2012) |
| 2011 | ||
| j38 | | 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 4(4): 353-389 (2011) |
| j37 | | 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 84(12): 2234-2252 (2011) |
| c58 | | 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: 188-195 |
| 2010 | ||
| j36 | | Marcílio Mendonça, Donald D. Cowan: Decision-making coordination and efficient reasoning techniques for feature-based configuration. Sci. Comput. Program. 75(5): 311-332 (2010) |
| c57 | | Ingrid Nunes, Donald D. Cowan, Elder Cirilo, Carlos José Pereira de Lucena: A Case for New Directions in Agent-Oriented Software Engineering. AOSE 2010: 37-61 |
| c56 | | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes: A Web-Based Framework for Collaborative Innovation. ISoLA (1) 2010: 447-461 |
| c55 |  | Vahid R. Karimi, Donald D. Cowan: Access Control Models for Business Processes. SECRYPT 2010: 489-498 |
| c54 | | 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: 528-532 |
| 2009 | ||
| j35 | | 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 82(4): 629-642 (2009) |
| j34 | | 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 82(6): 915-931 (2009) |
| c53 | | Vahid R. Karimi, Donald D. Cowan: Verification of Access Control Policies for REA Business Processes. COMPSAC (2) 2009: 422-427 |
| c52 | | 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: 236-245 |
| c51 | | Marcílio Mendonça, Moises Branco, Donald D. Cowan: S.P.L.O.T.: software product lines online tools. OOPSLA Companion 2009: 761-762 |
| 2008 | ||
| j33 | | 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) |
| j32 | | 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) |
| c50 | | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan: Efficient compilation techniques for large scale feature models. GPCE 2008: 13-22 |
| c49 | | Marcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan: Decision-making coordination in collaborative product configuration. SAC 2008: 108-113 |
| p1 | | Donald D. Cowan, Paulo S. C. Alencar: Abstract Data Types. Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 | ||
| j31 | | 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) |
| j30 | | 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) |
| j29 | | 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) |
| c48 | | Marcílio Mendonça, Donald D. Cowan, Toacy Cavalcante de Oliveira: A Process-Centric Approach for Coordinating Product Configuration Decisions. HICSS 2007: 283 |
| c47 | | 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: 993-996 |
| c46 | | Fábio Zaupa, Itana Maria de Souza Gimenes, Donald D. Cowan, Paulo S. C. Alencar, Carlos José Pereira de Lucena: Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços. SBCARS 2007: 89-102 |
| 2006 | ||
| j28 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006) |
| c45 | | 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: 39-46 |
| c44 | | 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 |
| c43 | | Marcílio Mendonça, Krzysztof Czarnecki, Donald D. Cowan: Towards a framework for collaborative and coordinated product configuration. OOPSLA Companion 2006: 774-775 |
| 2005 | ||
| j27 | | 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) |
| j26 | | 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) |
| j25 | | 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) |
| c42 | | 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 |
| 2004 | ||
| j24 | | 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) |
| j23 | | 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) |
| j22 | | 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) |
| j21 | | 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) |
| 2003 | ||
| c41 | | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: A service-oriented monitoring registry. CASCON 2003: 107-121 |
| c40 | | 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 |
| c39 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Formal Framework for Design Component Contracts. IRI 2003: 53-60 |
| c38 | | 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 |
| c37 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113 |
| 2002 | ||
| j20 | | 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) |
| j19 | | Paulo S. C. Alencar, Donald D. Cowan, Martin Luo: A Framework for Community Information Systems. Ann. Software Eng. 13(1-4): 381-411 (2002) |
| j18 | | 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) |
| j17 | | 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) |
| c36 | | 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 |
| c35 | | 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: 267-284 |
| 2001 | ||
| j16 | | 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) |
| c34 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Behavioral Analysis Approach to Pattern-Based Composition. OOIS 2001: 540- |
| c33 | | Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar: Geographic Problem Frames. RE 2001: 306-307 |
| c32 | | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: Supporting Formal Verification of Crosscutting Concerns. Reflection 2001: 153-169 |
| 2000 | ||
| j15 | | 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) |
| c31 | | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: A Framework for Software Architecture Verification. Australian Software Engineering Conference 2000: 149-158 |
| c30 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279- |
| c29 | | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: A Model for Describing Object-Oriented Systems from Multiple Perspectives. FASE 2000: 237-248 |
| c28 | | Daniel M. Germán, Donald D. Cowan: Towards a Unified Catalog of Hypermedia Design Patterns. HICSS 2000 |
| c27 | | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: An Extensible Model of Architecture Description. SAC (1) 2000: 156-165 |
| 1999 | ||
| c26 | | 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 |
| c25 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Correct Composition of Design Components. ECOOP Workshops 1999: 188 |
| c24 | | Daniel M. Germán, Donald D. Cowan: Formalizing the Specification of Web Applications. ER (Workshops) 1999: 281-292 |
| c23 | | 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 | ||
| j14 | | Donald D. Cowan, Colin I. Mayfield, Frank Wm. Tompa, W. Gasparini: New Role for Community Networks. Commun. ACM 41(4): 61-63 (1998) |
| c22 | | 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 |
| c21 | | 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 |
| 1997 | ||
| c20 | | 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 | ||
| j13 | | 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) |
| c19 | | Daniel M. Germán, Donald D. Cowan: A Federated Database for Hypermedia Development for the WWW. CODAS 1996: 178-181 |
| c18 | | 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 |
| c17 | | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Formal Approach to Architectural Design Patterns. FME 1996: 576-594 |
| c16 | | 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 |
| 1995 | ||
| j12 | | 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) |
| c15 | | 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 |
| c14 | | 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 |
| c13 | | 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 |
| c12 | | 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 |
| c11 | | Daniel M. Germán, Donald D. Cowan: Experiments with the Z Interchange Format and SGML. ZUM 1995: 224-233 |
| 1994 | ||
| c10 | | 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 |
| c9 | | 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 |
| c8 | | 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 |
| c7 | | 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 |
| c6 | | 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 | ||
| j11 | | 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) |
| j10 | | Peter Bumbulis, Donald D. Cowan: RE2C: A More Versatile Scanner Generator. LOPLAS 2(1-4): 70-84 (1993) |
| j9 | | 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) |
| j8 | | 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) |
| j7 | | Donald D. Cowan, Roberto Ierusalimschy, Carlos José Pereira de Lucena, Terry M. Stepien: Abstract Data Views. Structured Programming 14(1): 1-14 (1993) |
| c5 | | 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 |
| 1992 | ||
| c4 | | Donald D. Cowan, Roberto Ierusalimschy, Terry M. Stepien: Programming Environments for End-Users. IFIP Congress (3) 1992: 54-60 |
| 1991 | ||
| j6 | | 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 | ||
| j5 | | 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 | ||
| c3 | | 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 |
| c2 | | Son T. Vuong, Donald D. Cowan: UNISPEX - A Unified Model for Protocol Specification and Verification. INFOCOM 1984: 318-327 |
| 1980 | ||
| j4 | | 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) |
| j3 | | 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 | ||
| c1 | | 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 | ||
| j2 | | 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) |
| 1974 | ||
| j1 | | Vinton G. Cerf, Donald D. Cowan, R. C. Mullin, R. G. Stanton: A lower bound on the average shortest path length in regular graphs. Networks 4(4): 335-342 (1974) |
Colors in the list of coauthors
Last update Fri May 24 02:07:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page