Software engineering for undergraduates. - Doris L. Carver (ACM SIGCSE Bull., 1984)

Comparison of techniques in project-based courses. - Doris L. Carver (SIGCSE, 1985)

The impact of programming methodology on program complexity. - Doris L. Carver; Dick B. Simmons (J. Syst. Softw., 1985)

The effect of software development practices on cost estimates (abstract). - Doris L. Carver (ACM Conference on Computer Science, 1986)

Recommendations for software engineering education. - Doris L. Carver (SIGCSE, 1987)

Generating a requirements specifications knowledge-base. - David W. Cordes; Doris L. Carver (ACM Conference on Computer Science, 1988)

Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications. - David W. Cordes; Doris L. Carver (IEA/AIE (Vol. 1), 1988)

Designing the user interface, strategies for effective human-computer interaction. - Doris L. Carver (J. Am. Soc. Inf. Sci., 1988)

Acceptable Legal Standards for Software. - Doris L. Carver (IEEE Softw., 1988)

Programmer Variations in Software Debugging Approaches. - Doris L. Carver (Int. J. Man Mach. Stud., 1989)

A Graphics-Based System that Supports the Program Understanding Process. - Brady R. Rimes; Doris L. Carver (ICSI, 1990)

The impact of dependence cycle statement ordering on the performance of parallel loops (abstract and references only). - Chih-Ping Chu; Doris L. Carver (ACM Conference on Computer Science, 1991)

Characteristics for the basic syntax of an object-oriented design language (OODL) (abstract and references only). - Nancy K. Gautier; Doris L. Carver (ACM Conference on Computer Science, 1991)

Object-oriented design of distributed systems (abstract and references only). - Sangbum Lee; Doris L. Carver (ACM Conference on Computer Science, 1991)

An integrated object-oriented development approach by object relationship abstraction (abstract and references only). - Weibin Lu; Doris L. Carver (ACM Conference on Computer Science, 1991)

An Analysis of Recurrence Relations in Fortran Do-loops for Vector Processing. - Chih-Ping Chu; Doris L. Carver (IPPS, 1991)

An Object-Based Requirements Modeling Method. - David W. Cordes; Doris L. Carver (J. Am. Soc. Inf. Sci., 1992)

DELTA-DEsign Language To Actor. - Nancy K. Gautier; Doris L. Carver (COMPSAC, 1993)

Z meets Haskell: A case study. - Linda B. Sherrell; Doris L. Carver (COMPSAC, 1993)

Prototyping distributed systems using an object-oriented specification language. - Abbas Dehkhoda; Doris L. Carver (RSP, 1993)

An Ambiguity Resolution Algorithm. - Chandra Shrivastava; Doris L. Carver; Rajendra Shrivastava (ISOOMS, 1994)

A greedy approach to object identification in imperative code. - B. L. Achee; Doris L. Carver (WPC, 1994)

Integrated modeling of distributed object-oriented systems. - Doris L. Carver (J. Syst. Softw., 1994)

Parallelizing Subroutines in Sequential Programs. - Chih-Ping Chu; Doris L. Carver (IEEE Softw., 1994)

Experiences in Translating Z Designs to Haskell Implementations. - Linda B. Sherrell; Doris L. Carver (Softw. Pract. Exp., 1994)

FunZ Designs A Bridge between Z Specifications and Haskell Implementations. - Linda B. Sherrell; Doris L. Carver (COMPSAC, 1995)

IPCC++: A C++ Extension for InterProcess Communication with Objects. - Shelly S. Stubbs; Doris L. Carver (COMPSAC, 1995)

A Generalized Approach for Computing Convex Hulls Using Linear Arrays. - Jigang Liu; Doris L. Carver; Si-Qing Zheng (Parallel and Distributed Computing and Systems, 1995)

The Future of Software Engineering Education. - Joseph E. Urban; Daniel E. Cooke; Doris L. Carver; Roland T. Mittermeir (SEKE, 1995)

FunZ: An Intermediate Specification Language. - Linda B. Sherrell; Doris L. Carver (Comput. J., 1995)

IPCC++: A Concurrent C++ Based on a Shared-Memory Model. - Shelly S. Stubbs; Doris L. Carver; Andrew Hoppe (J. Object Oriented Program., 1995)

Enhancing design reusability by clustering specifications. - Youwen Ouyang; Doris L. Carver (SAC, 1996)

Reverse Engineering Procedural Code for Object Recovery. - Doris L. Carver (SEKE, 1996)

Object Extensions to Z: a Survey. - B. L. Achee; Doris L. Carver (Int. J. Softw. Eng. Knowl. Eng., 1996)

A Model for Software Reuse. - Young S. Cho; Doris L. Carver (J. Syst. Integr., 1996)

Planar Convex Hull Algorithms on Linear Arrays. - Doris L. Carver; Jigang Liu; S. Q. Zheng 001 (Parallel Algorithms Appl., 1996)

Reordering the Statements with Dependence Cycles to Improve the Performance of Parallel Loops. - Chih-Ping Chu; Doris L. Carver (ICPADS, 1997)

IPCC++: InterProcess Communication with C++. - Shelly S. Stubbs; Doris L. Carver (J. Object Oriented Program., 1997)

Creating object-oriented designs from legacy FORTRAN code. - B. L. Achee; Doris L. Carver (J. Syst. Softw., 1997)

IEEE Fellow Award Recipient. - Doris L. Carver (CSEE&T, 1998)

Identification of Data Cohesive Subsystems Using Data Mining Techniques. - Carlos Montes de Oca; Doris L. Carver (ICSM, 1998)

Design Recovery with Data Mining Techniques. - Carlos Montes de Oca; Doris L. Carver (PAKDD, 1998)

A Visual Representation Model for Software Subsystem Decomposition. - Carlos Montes de Oca; Doris L. Carver (WCRE, 1998)

A Graph-Based Object Identification Process for Procedural Programs. - Ramachenga R. Valasareddi; Doris L. Carver (WCRE, 1998)

Building on Success: Our 1998 Plan. - Doris L. Carver (Computer, 1998)

Migration of sequential systems to parallel environments by reverse engineering. - Ravi Erraguntla; Doris L. Carver (Inf. Softw. Technol., 1998)

Opportunities and Challenges for Software Engineering Education. - Doris L. Carver (CSEE&T, 1999)

Evolutionary Migration of Legacy Systems to an Object-Based Distributed Environment. - Miguel A. Serrano; Carlos Montes de Oca; Doris L. Carver (ICSM, 1999)

Performance Evaluation of Parallel Computational Geometry Algorithms on Maspar. - Jigang Liu; Doris L. Carver (PDPTA, 1999)

Migration of Object-Oriented Systems to Distributed Environments. - Miguel A. Serrano; Doris L. Carver (PDPTA, 1999)

A Representation Model for Procedural Program Maintenance. - Ramachenga R. Valasareddi; Doris L. Carver (SAC, 1999)

Relevant issues for the recruitment and retention of women in the technological sciences. - Sharon N. Vest; Dawn McKinney; Tung Bui 001; Doris L. Carver; Siva R. Sankaran; Margaret Thomas (ACM Southeast Regional Conference, 2000)

Mapping Object-Oriented Systems to Distributed Systems Using Data Mining Techniques. - Miguel A. Serrano; Doris L. Carver; Carlos Montes de Oca (IEA/AIE, 2000)

Object localization in procedural programs: a graph-based approach. - Doris L. Carver; Ramachenga R. Valasareddi (J. Softw. Maintenance Res. Pract., 2000)

Analyzing the Impact of Changing Requirements. - James S. O'Neal; Doris L. Carver (ICSM, 2001)

Reengineering legacy systems for distributed environments. - Miguel A. Serrano; Doris L. Carver; Carlos Montes de Oca (J. Syst. Softw., 2002)

Shortchanging the future of information technology: the untapped resource. - Angela M. Balcita; Doris L. Carver; Mary Lou Soffa (ACM SIGCSE Bull., 2002)

A metamodeling approach to model transformation. - Sheena R. Judson; Doris L. Carver; Robert B. France (OOPSLA Companion, 2003)

EIC's Message: Building on the Past, Looking to the Future. - Doris L. Carver (Computer, 2003)

Computer Society Connection: Reviewers Play Key Role in Publishing Computer. - Doris L. Carver (Computer, 2003)

Supporting Rigorous Evolution of UML Models. - Sheena R. Judson; Robert B. France; Doris L. Carver (ICECCS, 2004)

EIC's Message: Computer in 2004. - Doris L. Carver (Computer, 2004)

Reviewers Make Vital Contributions to Computer. - Doris L. Carver (Computer, 2004)

Maintaining Technical Currency in Today's Technology Climate. - Doris L. Carver (Computer, 2005)

Computer Recognizes Expert Reviewers. - Doris L. Carver (Computer, 2005)

Celebrating the Past, Looking to the Future. - Doris L. Carver (Computer, 2006)

An Expression of Gratitude. - Doris L. Carver (Computer, 2006)

Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. - Doris L. Carver; Ronald G. Hoelzeman; James H. Aylor; Michael G. Hinchey (Computer, 2006)

Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models. - Allyson M. Hoss; Doris L. Carver (Monterey Workshop, 2007)

Code Size Optimization for Embedded Processors using Commutative Transformations. - Sai Pinnepalli; Jinpyo Hong; J. Ramanujam; Doris L. Carver (RTCSA, 2007)

Weaving ontologies to support digital forensic analysis. - Allyson M. Hoss; Doris L. Carver (ISI, 2009)

Message from SETA Symposium Organizing Committee. - Doris L. Carver; Hongji Yang; W. K. Chan 001; Carl K. Chang (COMPSAC, 2015)

Exploiting online human knowledge in Requirements Engineering. - Anas Mahmoud 001; Doris L. Carver (RE, 2015)

Message from the SETA Organizing Committee. - Doris L. Carver; Wing Kwong Chan; Hongji Yang; Xiaodong Liu 002; Carl K. Chang; Hridesh Rajan (COMPSAC, 2016)

Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems. - Doris L. Carver; W. K. Chan 001; Carl K. Chang; Hongji Yang (IEEE Trans. Serv. Comput., 2016)

Special Issue on Software Engineering Technology and Applications. - Doris L. Carver; W. K. Chan 001; Carl K. Chang; Hongji Yang (J. Syst. Softw., 2017)

Multi-Objective Information Retrieval-Based NSGA-II Optimization for Requirements Traceability Recovery. - Danissa V. Rodriguez; Doris L. Carver (EIT, 2020)

Lodestone: A Streaming Approach to Behavior Modeling and Load Testing. - Chester Parrott; Doris L. Carver (ICDIS, 2020)

An IR-Based Artificial Bee Colony Approach for Traceability Link Recovery. - Danissa V. Rodriguez; Doris L. Carver (ICTAI, 2020)

Measuring Software Change Impact Using Requirement Dependencies. - Job M. Champagne; Doris L. Carver (SERA, 2021)