Login / Signup
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)