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) |