A Formal Approach to Requirements-Based Programming

Michael G. Hinchey, James L. Rash, Christopher Rouff. A Formal Approach to Requirements-Based Programming. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 339-345, IEEE Computer Society, 2005. [doi]

Authors

Michael G. Hinchey

This author has not been identified. Look up 'Michael G. Hinchey' in Google

James L. Rash

This author has not been identified. Look up 'James L. Rash' in Google

Christopher Rouff

This author has not been identified. Look up 'Christopher Rouff' in Google