H. Kim

A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance

Frederick T. Sheldon, F. Sheldon, H. Kim, 2001, Proceedings 2001 Pacific Rim International Symposium on Dependable Computing.

Requirements with Z and Statecharts Applied to an Embedded Control System 1

F. Sheldon, H. Kim, 2003 .

Requirements Specification and Analysis Using Zed and Statecharts

F. Sheldon, H. Kim, 2000 .

Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

Frederick T. Sheldon, Hye Yeon Kim, H. Kim, 2004, Software Quality Journal.

Validation of guidance control software requirements specification for reliability and fault-tolerance

Frederick T. Sheldon, Hye Yeon Kim, H. Kim, 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability

Frederick T. Sheldon, Kshamta Jerath, Hye Yeon Kim, 2003, Component-Based Software Quality.