Formal Methods and Software Development
- Gannon J. D., J. M. Purtilo and M. V. Zelkowitz, "Software Specifications: A Comparison of Formal Methods," Ablex Publishing Co., Norwood, NJ (1994) 249 pp.
- Craigen, Dan, Susan Gerhart, and Ted Ralston, "An International Survey of Industrial Applications of Formal Methods," Volume 1 Purpose, Approach, Analysis and Conclusions (Postscript, Text); Volume 2 Case Studies (Postscript, Text) NIST GCR 93/626, March 1993.
- D.R. Kuhn, "A Technique for Analyzing the Effects of Changes in Formal Specifications," (postscript version) Computer Journal, British Computer Society, Vol. 35, No. 6, December, 1992.
- D.R. Kuhn,"Predicate Differences and the Analysis of Dependencies in Formal Specifications," Proceedings, 14th Natl. Computer Security Conferene, NIST/NSA, 1991.
- D.R. Kuhn and J.F. Dray, "Formal Specification and Verification of Control Software for Cryptographic Equipment," Proceedings, Annual Computer Security Applications Conference, IEEE Computer Society Press, 1990.
- D.R. Kuhn, "Generating Extended State Transitions from Structured Specifications for Process Control Systems," IEE/BCS Software Engineering Journal, Vol. 4, No. 5 ( September, 1989.)
- D.R. Wallace, Editor,
A Testability-Based Assertion Placement Tool for Object-Oriented Software,
"html version" or
"pdf version" NIST GCR 98-735, January, 1998.
- D.R. Wallace, Editor, "Structured Testing: A Testing
Methodology Using the C
yclomatic Complexity Metric," NIST SP 500-235, August, 1996,
contains chapter on OO (or postscript version) .
- W.J. Salamon and D.R. Wallace, "Object-Orientd Technology Research Areas," NIST IR 5600, February, 1995.
- J. Barkley, ""Implementing Role Based Access Control Using Object Technology",Proceedings of the First ACM Workshop on Role Based Access Control, November, 1995.
- Wallace, Dolores R. and Laura M. Ippolito, "A Framework for the Development and Assurance of High Integrity Software," NIST SP 500-223, December, 1994, NIST, Gaithersburg, MD 20899.