Doris L. Carver

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 8

Top Topics

Software Engineering

Multiobjective Optimization

Artificial Bee Colony

Top Venues

IEEE Trans. Serv. Comput.

Publications

Job M. Champagne, Doris L. Carver
Measuring Software Change Impact Using Requirement Dependencies. SERA (2021)
Danissa V. Rodriguez, Doris L. Carver
An IR-Based Artificial Bee Colony Approach for Traceability Link Recovery. ICTAI (2020)
Danissa V. Rodriguez, Doris L. Carver
Multi-Objective Information Retrieval-Based NSGA-II Optimization for Requirements Traceability Recovery. EIT (2020)
Doris L. Carver, W. K. Chan, Carl K. Chang, Hongji Yang
Special Issue on Software Engineering Technology and Applications. J. Syst. Softw. 126 (2017)
Doris L. Carver, W. K. Chan, Carl K. Chang, Hongji Yang
Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems. IEEE Trans. Serv. Comput. 9 (5) (2016)
Doris L. Carver, Wing Kwong Chan, Hongji Yang, Xiaodong Liu, Carl K. Chang, Hridesh Rajan
Message from the SETA Organizing Committee. COMPSAC (2016)
Anas Mahmoud, Doris L. Carver
Exploiting online human knowledge in Requirements Engineering. RE (2015)
Doris L. Carver, Hongji Yang, W. K. Chan, Carl K. Chang
Message from SETA Symposium Organizing Committee. COMPSAC (2015)
Allyson M. Hoss, Doris L. Carver
Weaving ontologies to support digital forensic analysis. ISI (2009)
Allyson M. Hoss, Doris L. Carver
Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models. Monterey Workshop (2007)
Sai Pinnepalli, Jinpyo Hong, J. Ramanujam, Doris L. Carver
Code Size Optimization for Embedded Processors using Commutative Transformations. RTCSA (2007)
Doris L. Carver
An Expression of Gratitude. Computer 39 (12) (2006)
Doris L. Carver
Celebrating the Past, Looking to the Future. Computer 39 (1) (2006)
Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey
Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. Computer 39 (10) (2006)
Doris L. Carver
Computer Recognizes Expert Reviewers. Computer 38 (12) (2005)
Doris L. Carver
Maintaining Technical Currency in Today's Technology Climate. Computer 38 (1) (2005)
Sheena R. Judson, Robert B. France, Doris L. Carver
Supporting Rigorous Evolution of UML Models. ICECCS (2004)
Doris L. Carver
EIC's Message: Computer in 2004. Computer 37 (1) (2004)
Doris L. Carver
Reviewers Make Vital Contributions to Computer. Computer 37 (12) (2004)
Doris L. Carver
EIC's Message: Building on the Past, Looking to the Future. Computer 36 (1) (2003)
Sheena R. Judson, Doris L. Carver, Robert B. France
A metamodeling approach to model transformation. OOPSLA Companion (2003)
Doris L. Carver
Computer Society Connection: Reviewers Play Key Role in Publishing Computer. Computer 36 (12) (2003)
Angela M. Balcita, Doris L. Carver, Mary Lou Soffa
Shortchanging the future of information technology: the untapped resource. ACM SIGCSE Bull. 34 (2) (2002)
Miguel A. Serrano, Doris L. Carver, Carlos Montes de Oca
Reengineering legacy systems for distributed environments. J. Syst. Softw. 64 (1) (2002)
James S. O'Neal, Doris L. Carver
Analyzing the Impact of Changing Requirements. ICSM (2001)
Miguel A. Serrano, Doris L. Carver, Carlos Montes de Oca
Mapping Object-Oriented Systems to Distributed Systems Using Data Mining Techniques. IEA/AIE (2000)
Doris L. Carver, Ramachenga R. Valasareddi
Object localization in procedural programs: a graph-based approach. J. Softw. Maintenance Res. Pract. 12 (5) (2000)
Sharon N. Vest, Dawn McKinney, Tung Bui, Doris L. Carver, Siva R. Sankaran, Margaret Thomas
Relevant issues for the recruitment and retention of women in the technological sciences. ACM Southeast Regional Conference (2000)
Jigang Liu, Doris L. Carver
Performance Evaluation of Parallel Computational Geometry Algorithms on Maspar. PDPTA (1999)
Miguel A. Serrano, Carlos Montes de Oca, Doris L. Carver
Evolutionary Migration of Legacy Systems to an Object-Based Distributed Environment. ICSM (1999)
Ramachenga R. Valasareddi, Doris L. Carver
A Representation Model for Procedural Program Maintenance. SAC (1999)
Doris L. Carver
Opportunities and Challenges for Software Engineering Education. CSEE&T (1999)
Miguel A. Serrano, Doris L. Carver
Migration of Object-Oriented Systems to Distributed Environments. PDPTA (1999)
Ramachenga R. Valasareddi, Doris L. Carver
A Graph-Based Object Identification Process for Procedural Programs. WCRE (1998)
Carlos Montes de Oca, Doris L. Carver
Identification of Data Cohesive Subsystems Using Data Mining Techniques. ICSM (1998)
Carlos Montes de Oca, Doris L. Carver
Design Recovery with Data Mining Techniques. PAKDD (1998)
Doris L. Carver
IEEE Fellow Award Recipient. CSEE&T (1998)
Ravi Erraguntla, Doris L. Carver
Migration of sequential systems to parallel environments by reverse engineering. Inf. Softw. Technol. 40 (7) (1998)
Doris L. Carver
Building on Success: Our 1998 Plan. Computer 31 (1998)
Carlos Montes de Oca, Doris L. Carver
A Visual Representation Model for Software Subsystem Decomposition. WCRE (1998)
Chih-Ping Chu, Doris L. Carver
Reordering the Statements with Dependence Cycles to Improve the Performance of Parallel Loops. ICPADS (1997)
B. L. Achee, Doris L. Carver
Creating object-oriented designs from legacy FORTRAN code. J. Syst. Softw. 39 (2) (1997)
Shelly S. Stubbs, Doris L. Carver
IPCC++: InterProcess Communication with C++. J. Object Oriented Program. 9 (9) (1997)
Young S. Cho, Doris L. Carver
A Model for Software Reuse. J. Syst. Integr. 6 (3) (1996)
Doris L. Carver, Jigang Liu, S. Q. Zheng
Planar Convex Hull Algorithms on Linear Arrays. Parallel Algorithms Appl. 10 (1-2) (1996)
Doris L. Carver
Reverse Engineering Procedural Code for Object Recovery. SEKE (1996)
B. L. Achee, Doris L. Carver
Object Extensions to Z: a Survey. Int. J. Softw. Eng. Knowl. Eng. 6 (3) (1996)
Youwen Ouyang, Doris L. Carver
Enhancing design reusability by clustering specifications. SAC (1996)
Shelly S. Stubbs, Doris L. Carver
IPCC++: A C++ Extension for InterProcess Communication with Objects. COMPSAC (1995)
Linda B. Sherrell, Doris L. Carver
FunZ Designs A Bridge between Z Specifications and Haskell Implementations. COMPSAC (1995)
Jigang Liu, Doris L. Carver, Si-Qing Zheng
A Generalized Approach for Computing Convex Hulls Using Linear Arrays. Parallel and Distributed Computing and Systems (1995)
Shelly S. Stubbs, Doris L. Carver, Andrew Hoppe
IPCC++: A Concurrent C++ Based on a Shared-Memory Model. J. Object Oriented Program. 8 (2) (1995)
Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir
The Future of Software Engineering Education. SEKE (1995)
Linda B. Sherrell, Doris L. Carver
FunZ: An Intermediate Specification Language. Comput. J. 38 (3) (1995)
Linda B. Sherrell, Doris L. Carver
Experiences in Translating Z Designs to Haskell Implementations. Softw. Pract. Exp. 24 (12) (1994)
Chandra Shrivastava, Doris L. Carver, Rajendra Shrivastava
An Ambiguity Resolution Algorithm. ISOOMS (1994)
Doris L. Carver
Integrated modeling of distributed object-oriented systems. J. Syst. Softw. 26 (3) (1994)
Chih-Ping Chu, Doris L. Carver
Parallelizing Subroutines in Sequential Programs. IEEE Softw. 11 (1) (1994)
B. L. Achee, Doris L. Carver
A greedy approach to object identification in imperative code. WPC (1994)
Nancy K. Gautier, Doris L. Carver
DELTA-DEsign Language To Actor. COMPSAC (1993)
Linda B. Sherrell, Doris L. Carver
Z meets Haskell: A case study. COMPSAC (1993)
Abbas Dehkhoda, Doris L. Carver
Prototyping distributed systems using an object-oriented specification language. RSP (1993)
David W. Cordes, Doris L. Carver
An Object-Based Requirements Modeling Method. J. Am. Soc. Inf. Sci. 43 (1) (1992)
Chih-Ping Chu, Doris L. Carver
An Analysis of Recurrence Relations in Fortran Do-loops for Vector Processing. IPPS (1991)
Weibin Lu, Doris L. Carver
An integrated object-oriented development approach by object relationship abstraction (abstract and references only). ACM Conference on Computer Science (1991)
Nancy K. Gautier, Doris L. Carver
Characteristics for the basic syntax of an object-oriented design language (OODL) (abstract and references only). ACM Conference on Computer Science (1991)
Chih-Ping Chu, Doris L. Carver
The impact of dependence cycle statement ordering on the performance of parallel loops (abstract and references only). ACM Conference on Computer Science (1991)
Sangbum Lee, Doris L. Carver
Object-oriented design of distributed systems (abstract and references only). ACM Conference on Computer Science (1991)
Brady R. Rimes, Doris L. Carver
A Graphics-Based System that Supports the Program Understanding Process. ICSI (1990)
Doris L. Carver
Programmer Variations in Software Debugging Approaches. Int. J. Man Mach. Stud. 31 (3) (1989)
Doris L. Carver
Designing the user interface, strategies for effective human-computer interaction. J. Am. Soc. Inf. Sci. 39 (1) (1988)
David W. Cordes, Doris L. Carver
Generating a requirements specifications knowledge-base. ACM Conference on Computer Science (1988)
Doris L. Carver
Acceptable Legal Standards for Software. IEEE Softw. 5 (3) (1988)
David W. Cordes, Doris L. Carver
Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications. IEA/AIE (Vol. 1) (1988)
Doris L. Carver
Recommendations for software engineering education. SIGCSE (1987)
Doris L. Carver
The effect of software development practices on cost estimates (abstract). ACM Conference on Computer Science (1986)
Doris L. Carver
Comparison of techniques in project-based courses. SIGCSE (1985)
Doris L. Carver, Dick B. Simmons
The impact of programming methodology on program complexity. J. Syst. Softw. 5 (4) (1985)
Doris L. Carver
Software engineering for undergraduates. ACM SIGCSE Bull. 16 (3) (1984)