2007 |
57 | EE | Allyson M. Hoss,
Doris L. Carver:
Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models.
Monterey Workshop 2007: 85-102 |
56 | EE | Sai Pinnepalli,
Jinpyo Hong,
J. Ramanujam,
Doris L. Carver:
Code Size Optimization for Embedded Processors using Commutative Transformations.
RTCSA 2007: 409-416 |
2006 |
55 | EE | Doris L. Carver:
Celebrating the Past, Looking to the Future.
IEEE Computer 39(1): 8-10 (2006) |
54 | EE | Doris L. Carver,
Ronald G. Hoelzeman,
James H. Aylor,
Michael G. Hinchey:
Special Issue Introduction: The IEEE Computer Society's 60th Anniversary.
IEEE Computer 39(10): 22-25 (2006) |
53 | EE | Doris L. Carver:
An Expression of Gratitude.
IEEE Computer 39(12): 7 (2006) |
2005 |
52 | | Doris L. Carver:
Maintaining Technical Currency in Today's Technology Climate.
IEEE Computer 38(1): 10-11 (2005) |
51 | | Doris L. Carver:
Computer Recognizes Expert Reviewers.
IEEE Computer 38(12): 77-79 (2005) |
2004 |
50 | EE | Sheena R. Judson,
Robert B. France,
Doris L. Carver:
Supporting Rigorous Evolution of UML Models.
ICECCS 2004: 128-137 |
49 | EE | Doris L. Carver:
EIC's Message: Computer in 2004.
IEEE Computer 37(1): 8-9 (2004) |
48 | | Doris L. Carver:
Reviewers Make Vital Contributions to Computer.
IEEE Computer 37(12): 89-91 (2004) |
2003 |
47 | EE | Sheena R. Judson,
Doris L. Carver,
Robert B. France:
A metamodeling approach to model transformation.
OOPSLA Companion 2003: 326-327 |
46 | EE | Doris L. Carver:
EIC's Message: Building on the Past, Looking to the Future.
IEEE Computer 36(1): 6-7, 10 (2003) |
45 | EE | Doris L. Carver:
Computer Society Connection: Reviewers Play Key Role in Publishing Computer.
IEEE Computer 36(12): 102-104 (2003) |
2002 |
44 | EE | Miguel A. Serrano,
Doris L. Carver,
Carlos Montes de Oca:
Reengineering legacy systems for distributed environments.
Journal of Systems and Software 64(1): 37-55 (2002) |
43 | EE | Angela M. Balcita,
Doris L. Carver,
Mary Lou Soffa:
Shortchanging the future of information technology: the untapped resource.
SIGCSE Bulletin 34(2): 32-35 (2002) |
2001 |
42 | EE | James S. O'Neal,
Doris L. Carver:
Analyzing the Impact of Changing Requirements.
ICSM 2001: 190- |
2000 |
41 | EE | Sharon N. Vest,
Dawn McKinney,
Tung X. 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: 241-243 |
40 | EE | Miguel A. Serrano,
Doris L. Carver,
Carlos Montes de Oca:
Mapping Object-Oriented Systems to Distributed Systems Using Data Mining Techniques.
IEA/AIE 2000: 79-84 |
39 | | Doris L. Carver,
Ramachenga R. Valasareddi:
Object localization in procedural programs: a graph-based approach.
Journal of Software Maintenance 12(5): 305-323 (2000) |
1999 |
38 | EE | Doris L. Carver:
Opportunities and Challenges for Software Engineering Education.
CSEE&T 1999: 120- |
37 | EE | Miguel A. Serrano,
Carlos Montes de Oca,
Doris L. Carver:
Evolutionary Migration of Legacy Systems to an Object-Based Distributed Environment.
ICSM 1999: 86- |
36 | | Jigang Liu,
Doris L. Carver:
Performance Evaluation of Parallel Computational Geometry Algorithms on Maspar.
PDPTA 1999: 1377-1383 |
35 | | Miguel A. Serrano,
Doris L. Carver:
Migration of Object-Oriented Systems to Distributed Environments.
PDPTA 1999: 403-409 |
34 | EE | Ramachenga R. Valasareddi,
Doris L. Carver:
A Representation Model for Procedural Program Maintenance.
SAC 1999: 580-585 |
1998 |
33 | EE | Carlos Montes de Oca,
Doris L. Carver:
Identification of Data Cohesive Subsystems Using Data Mining Techniques.
ICSM 1998: 16-23 |
32 | | Carlos Montes de Oca,
Doris L. Carver:
Design Recovery with Data Mining Techniques.
PAKDD 1998: 405-406 |
31 | | Carlos Montes de Oca,
Doris L. Carver:
A Visual Representation Model for Software Subsystem Decomposition.
WCRE 1998: 231-240 |
30 | | Ramachenga R. Valasareddi,
Doris L. Carver:
A Graph-Based Object Identification Process for Procedural Programs.
WCRE 1998: 50-58 |
29 | | Doris L. Carver:
Building on Success: Our 1998 Plan.
IEEE Computer 31: 4-6 (1998) |
28 | EE | Ravi Erraguntla,
Doris L. Carver:
Migration of sequential systems to parallel environments by reverse engineering.
Information & Software Technology 40(7): 369-380 (1998) |
1997 |
27 | EE | Chih-Ping Chu,
Doris L. Carver:
Reordering the Statements with Dependence Cycles to Improve the Performance of Parallel Loops.
ICPADS 1997: 322-328 |
26 | | Shelly S. Stubbs,
Doris L. Carver:
IPCC++: InterProcess Communication with C++.
JOOP 9(9): 31-40 (1997) |
25 | EE | B. L. Achee,
Doris L. Carver:
Creating object-oriented designs from legacy FORTRAN code.
Journal of Systems and Software 39(2): 179-194 (1997) |
1996 |
24 | EE | Youwen Ouyang,
Doris L. Carver:
Enhancing design reusability by clustering specifications.
SAC 1996: 493-499 |
23 | | Doris L. Carver:
Reverse Engineering Procedural Code for Object Recovery.
SEKE 1996: 442-449 |
22 | EE | B. L. Achee,
Doris L. Carver:
Object Extensions to Z: a Survey.
International Journal of Software Engineering and Knowledge Engineering 6(3): 507-530 (1996) |
21 | | Young S. Cho,
Doris L. Carver:
A Model for Software Reuse.
Journal of Systems Integration 6(3): 181-201 (1996) |
20 | EE | Doris L. Carver,
Jigang Liu,
S. Q. Zheng:
Planar Convex Hull Algorithms on Linear Arrays.
Parallel Algorithms Appl. 10(1-2): 59-70 (1996) |
1995 |
19 | EE | Linda B. Sherrell,
Doris L. Carver:
FunZ Designs A Bridge between Z Specifications and Haskell Implementations.
COMPSAC 1995: 12-17 |
18 | EE | Shelly S. Stubbs,
Doris L. Carver:
IPCC++: A C++ Extension for InterProcess Communication with Objects.
COMPSAC 1995: 205-211 |
17 | | 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: 269-272 |
16 | | Joseph E. Urban,
Daniel E. Cooke,
Doris L. Carver,
Roland T. Mittermeir:
The Future of Software Engineering Education.
SEKE 1995: 63 |
15 | | Linda B. Sherrell,
Doris L. Carver:
FunZ: An Intermediate Specification Language.
Comput. J. 38(3): 193-206 (1995) |
14 | | Shelly S. Stubbs,
Doris L. Carver,
Andrew Hoppe:
IPCC++: A Concurrent C++ Based on a Shared-Memory Model.
JOOP 8(2): 45-50 (1995) |
1994 |
13 | | Chandra Shrivastava,
Doris L. Carver,
Rajendra Shrivastava:
An Ambiguity Resolution Algorithm.
ISOOMS 1994: 221-231 |
12 | EE | Chih-Ping Chu,
Doris L. Carver:
Parallelizing Subroutines in Sequential Programs.
IEEE Software 11(1): 77-85 (1994) |
11 | EE | Doris L. Carver:
Integrated modeling of distributed object-oriented systems.
Journal of Systems and Software 26(3): 233-244 (1994) |
10 | | Linda B. Sherrell,
Doris L. Carver:
Experiences in Translating Z Designs to Haskell Implementations.
Softw., Pract. Exper. 24(12): 1159-1178 (1994) |
1992 |
9 | | David W. Cordes,
Doris L. Carver:
An Object-Based Requirements Modeling Method.
JASIS 43(1): 62-71 (1992) |
1991 |
8 | | Chih-Ping Chu,
Doris L. Carver:
An Analysis of Recurrence Relations in Fortran Do-loops for Vector Processing.
IPPS 1991: 619-625 |
1990 |
7 | | Brady R. Rimes,
Doris L. Carver:
A Graphics-Based System that Supports the Program Understanding Process.
ICSI 1990: 117-124 |
1989 |
6 | | Doris L. Carver:
Programmer Variations in Software Debugging Approaches.
International Journal of Man-Machine Studies 31(3): 315-322 (1989) |
1988 |
5 | EE | David W. Cordes,
Doris L. Carver:
Generating a requirements specifications knowledge-base.
ACM Conference on Computer Science 1988: 727 |
4 | EE | David W. Cordes,
Doris L. Carver:
Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications.
IEA/AIE (Vol. 1) 1988: 266-272 |
1987 |
3 | EE | Doris L. Carver:
Recommendations for software engineering education.
SIGCSE 1987: 228-232 |
1986 |
2 | EE | Doris L. Carver:
The effect of software development practices on cost estimates (abstract).
ACM Conference on Computer Science 1986: 406 |
1985 |
1 | EE | Doris L. Carver,
Dick B. Simmons:
The impact of programming methodology on program complexity.
Journal of Systems and Software 5(4): 279-289 (1985) |