Developing Formal Specifications from Informal Requirements

W. Lewis Johnson, Kevin Benner, David R. Harris. Developing Formal Specifications from Informal Requirements. IEEE Intelligent Systems, 8(4):82-90, 1993. [doi]

Authors

W. Lewis Johnson

This author has not been identified. Look up 'W. Lewis Johnson' in Google

Kevin Benner

This author has not been identified. Look up 'Kevin Benner' in Google

David R. Harris

This author has not been identified. Look up 'David R. Harris' in Google