Kathryn L. Heninger

Publication Activity (10 Years)

Years Active: 1979-1980
Publications (10 Years): 0

Publications

Kathryn L. Heninger
Specifying Software Requirements for Complex Systems: New Techniques and Their Application. IEEE Trans. Software Eng. 6 (1) (1980)
John E. Shore, Kathryn L. Heninger
Limits to specifications: why not more progress? Panel at IEEE conference on specifications of reliable software. ACM SIGSOFT Softw. Eng. Notes 4 (3) (1979)