|
Measuring and Assessing Software Test Processes Using Test Data,
Proc. 2000 High Assurance System Engineering Symposium (HASE), November, 2000, Albuquerque,
NM
Testing for Software Safety, NASA Dependable Flight Systems Conference
HOW RELIABLE ARE REQUIREMENTS FOR RELIABLE SOFTWARE?, Proc. Software
Technology Conference 2000, Logan UT, May, 2000
How Reliable are Requirements for Reliable Software?, DoD Data
& Analysis Center for Software Current Awareness Nessletter
"How Reliable are the Requirements for Large Digital Systems?",
Proc. Fifth ISSAT International Conference on Reliability and Quality in Design,
Las Vegas, NV, August, 1999
System Engineering for Software Intensive Projects, ASSET '99
"Toward More Effective Testing for High Assurance Systems", IEEE Computer Magazine,
"Integrated Design, Development and Evaluation for High Assurance Systems", April
1998
"Quality Assurance and Testing for Safety Systems", Annals of Software Engineering,
Balzer Publications, R. Hamlet ed., 1997
Review Guidelines for Software Written in High Level Programming
Language Used in Safety Systems, Water Reactor Safety Meeting, Bethesda, MD, October
22, 1997
"Testing Safety Critical Software - Where are the Standards?",
ISSES '97, Walnut Creek, CA, June, 1997
"Test-Linked Specification for Safety-Critical Software",
1997 Hawaii Systems Conference, Maui, Hawaii, January, 1997
"Quality Assurance and Testing for Safety Systems", Annals of Software Engineering,
Balzer Publications, R. Hamlet ed., 1997
"Qualitative Interpretation of Software Test Data", Computer-Aided
Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
"Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety
Systems", U.S. Nuclear Regulatory Commission Contractor Report, NUREG/CR-6463, June,
1996
"Error Classification and Analysis for High Integrity Software",
The 1996 American Nuclear Society International Topical Meeting on Nuclear Plant
Instrumentation, Control and Human- Machine Technology, Pennsylvania State University,
USA, May, 1996
"Verification and Validation Guidelines for High Integrity Systems", Electrical
Power Research Institute, EPRI TR-103916, December, 1995
"What's wrong with Software Test?", 7th Annual Software Technology Conference, Hill
AFB, UT, April, 1995
"Verification and Validation Guidelines for High Integrity Systems", U.S. Nuclear
Regulatory Commission Contractor Report, NUREG/CR-6293, March, 1995
"Cooperating Diverse Experts: A Methodology to Develop Quality Software for Critical
Decision Support Systems", Proc. 1995 IEEE Aerospace Applications Conference, Snowmass,
CO, February, 1995
"Verification and Validation Guidelines for High Integrity Systems", Rome Laboratory,
RL-TR- 94-201, November, 1994
"V&V in Defense and Nuclear Power Plant Projects", Proc. 4th IEEE Dual Use Technologies
and Applications Conference, Mohawk Valley, NY, May, 1994
"NRC Class 1E Digital Computer System Guidelines", Rome Laboratory, RL-TR-93-96,
May, 1993
"Complexity Metrics for Avionics Software", Proc. NAECON '92, Dayton, OH, May, 1992
"The Enhanced Condition Table Methodology for Verification of
Critical Software in Ada and C", Proc. 7th International Conference on Software
Testing, San Francisco, May, 1990
"Enhanced Condition Tables for Verification of Critical Software", Proc. COMPSAC'87,
Tokyo, October, 1987
"Specification and Review of Flight Critical Systems", Proc. AIAA Computers in Aerospace
Conference, Long Beach, CA, 1985
"Computer Standards", IEEE Computer, October, 1984
"Requirements Documentation -- A Management Oriented Approach", FIPS Software Documentation
Workshop, National Bureau of Standards, Washington DC, March 1982
The Introduction of Software Tools, National Bureau of Standards Special Publication
500-91, September, 1982
A Survey of Software Tools Usage, National Bureau of Standards Special Publication
500-82, November, 1981
|
|
