| Year |
Citation |
Score |
| 2016 |
Carver D, Chan WK, Chang CK, Yang H. Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems Ieee Transactions On Services Computing. 9: 742-744. DOI: 10.1109/Tsc.2016.2601679 |
0.318 |
|
| 2010 |
Luo Y, Hoss A, Carver DL. An ontological identification of relationships between anti-patterns and code smells Ieee Aerospace Conference Proceedings. DOI: 10.1109/AERO.2010.5446811 |
0.32 |
|
| 2009 |
Hoss AM, Carver DL. Weaving ontologies to support digital forensic analysis 2009 Ieee International Conference On Intelligence and Security Informatics, Isi 2009. 203-205. DOI: 10.1109/ISI.2009.5137303 |
0.68 |
|
| 2008 |
Hoss AM, Carver DL. Towards combining ontologies and model weaving for the evolution of requirements models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5320: 85-102. DOI: 10.1007/978-3-540-89778-1_9 |
0.721 |
|
| 2007 |
Pinnepalli S, Hong J, Ramanujam J, Carver DL. Code size optimization for embedded processors using commutative transformations Proceedings - 13th Ieee International Conference On Embedded and Real-Time Computing Systems and Applications, Rtcsa 2007. 409-416. DOI: 10.1109/RTCSA.2007.28 |
0.654 |
|
| 2006 |
Hoss AM, Carver DL. Ontological approach to improving design quality Ieee Aerospace Conference Proceedings. 2006. |
0.727 |
|
| 2006 |
Hoss AM, Carver DL, Burris JW. Ontology-based error detection in software design: A case study Proceedings of the 10th Iasted International Conference On Software Engineering and Applications, Sea 2006. 483-488. |
0.72 |
|
| 2004 |
Judson SR, France RB, Carver DL. Supporting rigorous evolution of UML models Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 128-137. |
0.313 |
|
| 2003 |
Judson SR, Carver DL, France RB. A metamodeling approach to model transformation Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 326-327. DOI: 10.1145/949344.949435 |
0.303 |
|
| 2002 |
Serrano MA, Carver DL, Montes de Oca C. Reengineering legacy systems for distributed environments Journal of Systems and Software. 64: 37-55. DOI: 10.1016/S0164-1212(02)00020-1 |
0.433 |
|
| 2001 |
O'Neal JS, Carver DL. Analyzing the impact of changing requirements Ieee International Conference On Software Maintenance, Icsm. 190-195. DOI: 10.1109/ICSM.2001.972729 |
0.725 |
|
| 1998 |
Erraguntla R, Carver DL. Migration of sequential systems to parallel environments by reverse engineering Information and Software Technology. 40: 369-380. DOI: 10.1016/S0950-5849(98)00060-3 |
0.439 |
|
| 1997 |
Achee BL, Carver DL. Creating object-oriented designs from legacy FORTRAN code Journal of Systems and Software. 39: 179-194. DOI: 10.1016/S0164-1212(96)00171-9 |
0.412 |
|
| 1996 |
Achee BL, Carver DL. Object extensions to Z: A survey International Journal of Software Engineering and Knowledge Engineering. 6: 507-530. DOI: 10.1142/S0218194096000211 |
0.39 |
|
| 1996 |
Cho Y, Carver DL. A model for software reuse Journal of Systems Integration. 6: 181-201. DOI: 10.1007/Bf02265085 |
0.509 |
|
| 1995 |
Cho YS, Carver DL. Enhancing reuse in software development 10th Computing in Aerospace Conference. 617-624. DOI: 10.2514/6.1995-1026 |
0.365 |
|
| 1995 |
Sherrell LB, Carver DL. Funz: An intermediate specification language Computer Journal. 38: 193-206. DOI: 10.1093/Comjnl/38.3.193 |
0.497 |
|
| 1994 |
Carver DL. Integrated modeling of distributed object-oriented systems The Journal of Systems and Software. 26: 233-244. DOI: 10.1016/0164-1212(94)90014-0 |
0.385 |
|
| 1994 |
Sherrell LB, Carver DL. Experiences in translating Z designs to Haskell implementations Software - Practice and Experience. 24: 1159-1178. DOI: 10.1002/Spe.4380241205 |
0.528 |
|
| 1992 |
Cordes DW, Carver DL. An Object-Based Requirements Modeling Method. Journal of the Association For Information Science and Technology. 43: 62-71. DOI: 10.1002/(Sici)1097-4571(199201)43:1<62::Aid-Asi6>3.0.Co;2-C |
0.415 |
|
| 1989 |
Cordes DW, Carver DL. Evaluation method for user requirements documents Information & Software Technology. 31: 181-188. DOI: 10.1016/0950-5849(89)90036-0 |
0.452 |
|
| 1988 |
Carver DL. Acceptable Legal Standards for Software Ieee Software. 5: 87-93. DOI: 10.1109/52.2028 |
0.308 |
|
| 1988 |
Carver DL. Designing the user interface, strategies for effective human‐computer interaction Journal of the Association For Information Science and Technology. 39: 22-22. DOI: 10.1002/(Sici)1097-4571(198801)39:1<22::Aid-Asi5>3.0.Co;2-# |
0.318 |
|
| 1987 |
Carver DL. Producing maintainable software Computers and Industrial Engineering. 12: 299-305. DOI: 10.1016/0360-8352(87)90033-7 |
0.313 |
|
| Show low-probability matches. |