Edward A. Addy
Edward A. Addy

Publications

IEEE Std 1012-2016, IEEE Standard for System, Software and Hardware Verification and Validation, The Institute of Electrical and Electronics Engineers, Inc., 2016

IEEE Std 1012-2012, IEEE Standard for System and Software Verification and Validation, The Institute of Electrical and Electronics Engineers, Inc., 2012

Hafedh Mili, Ali Mili, Sherif Yacoub, and Edward A. Addy, Reuse-Based Software Engineering: Techniques, Organization, and Measurement, John Wiley & Sons, 2001.

Edward A. Addy, Verification and Validation in Software Product Line Engineering, Doctoral Dissertation, West Virginia University, 1999

Edward Addy, Ali Mili, and Sherif Yacoub, “A Case Study in Software Reuse,” Software Quality Journal, 8, 3 (November 1999), 169-195

Ali Mili, Edward A. Addy, Hafedh Mili, and Sherif Yacoub, “Toward an Engineering Discipline of Software Reuse,” IEEE Software, 16, 5 (September/October 1999), 22-31.

Edward A. Addy and Murali Sitaraman, “Formal Specification of COTS-Based Software: A Case Study,” Proceedings of the Fifth Symposium on Software Reusability, Los Angeles, May 1999, ACM Press, 83-91.

Edward A. Addy, “A Framework for Performing Verification and Validation in Reuse-Based Software Engineering,” Annals of Software Engineering, 5 (1998), 279-292.

Edward A. Addy, "The Application of V&V Within Reuse-Based Software Engineering," NASA Technical Report, NASA-IVV-96-019, 1996

Edward A. Addy, "Methodology of Software Nuclear Safety Analysis," Proceedings of the 5th International Symposium on Software Reliability Engineering, Monterey CA, Nov. 1994, IEEE Computer Society Press, 76-83.

J. B. Michael, E. A. Addy, S. C. Fortier, B. Junk and J. McHugh, "Software Safety and Economics," Proceedings of the Conference on Computer Assurance, Gaithersburg MD, June 1992, ACM Press, 97-101.

Edward A. Addy, "A Case Study in Isolation of Safety-Critical Software," Proceedings of the Conference on Computer Assurance, Gaithersburg MD, June 1991, ACM Press, 75-83.

Edward Addy and Lewis Graham, Jr., "An Iterative Approach to Quicksort," Computer Language, 4, 10 (1987)  67-70

(Relatively) Recent Presentations

2012 Spring Simulation Interoperability Workshop, SISO
SIW 2012 IEEE Std 1012-2012 2012-03-28.p[...]
Microsoft Power Point presentation [201.6 KB]
2012 Systems and Software Technology Conference
Principles of System and Software Verifi[...]
Microsoft Power Point presentation [653.2 KB]
6th Annual National Child Welfare IT Management 2008
Driving Quality (IVV, QA).ppt
Microsoft Power Point presentation [722.5 KB]
American Public Human Service Association (APHSA) IT Solutions Management (ISM) Conference 2007
APHSA ISM QA IVV.ppt
Microsoft Power Point presentation [919.5 KB]