Publications
1980. Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
2005. Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.
2006. PIT: A macro‐implemented implementation language. Software: Practice and Experience. 2(4):337-346.
2001. Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program. Proceedings of the 23rd International Conference on Software Engineering. :349-357.
1997. Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
2001. The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
1978. Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
2004. Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.