References

Clarke and Wing 96

Clarke, E. M., Wing, J. M. ``Formal Methods: State of the Art and Future Directions,'' Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research, to appear in ACM Computing Surveys, December 1996. Also CMU-CS-96-178.

Heintze et. al. 96

Heintze, N., Tygar, D., Wing, J. M., Wong, H. ``Model Checking Electronic Commerce Protocols,'' Proc. of the USENIX 1996 Workshop on Electronic Commerce, November 1996.

Jackson et al 96

D. Jackson, S. Jha, and C. A. Damon. ``Faster Checking of Software Specifications By Eliminating Isomorphs.'' Proceedings of Principles of Programming Languages, St. Petersburg Beach, FL, 1996.

Jackson and Damon 96

D. Jackson and C. A. Damon. ``Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.'' Proceedings of the International Symposium on Software Testing and Analysis, San Diego, CA, 1996.

Jackson and Wing 96

Jackson, D., Wing, J. M. ``Lightweight Formal Methods,'' IEEE Computer, April 1996.

Kindred and Wing 96

Kindred, D., Wing, J. M. ``Fast, Automatic Checking of Security Protocols,'' Proc. of the USENIX 1996 Workshop on Electronic Commerce, November 1996.

Liskov and Wing 94

Liskov, B. H., Wing J., M. ``A Behavioral Notion of Subtyping,'' ACM Transactions on Programming Languages and Systems, Volume 16, Number 6, November 1994, pp. 1811-1841. Also CMU-CS-93-187 (supersedes CMU-CS-93-149 and CMU-CS-92-220).

Leavens and Wing 96

Leavens, G., Wing, J. M. ``Protective Interface Specifications,'' short version to appear in TAPSOFT'97, available as CMU Technical Report CMU-CS-96-129R, October 1996.

O'Callahan and Jackson 96

O'Callahan, R., Jackson, D. ``Practical Program Understanding With Type Inference,'' CMU Technical Report CMU-CS-96-130, May 1996.

Wing and Vaziri-Farahani 96

Wing, J. M., Vaziri-Farahani, M. ``A Case Study in Model Checking Software Systems,'' to appear in Science of Computer Programming, submitted April 1996. A shorter conference version appears in Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995.

Wing 97

Wing, J. M. ``Subtyping for Distributed Object Stores,'' in Proceedings of the Second IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), July 1997. Abstract of invited talk. Also CMU-CS-97-121, April 1997.

Wing 95

Wing, J. M. ``Hints to Specifiers,'' in Teaching and Learning Formal Methods, Dean and Hinchey, editors, Academic Press, 1996, Chapter 5, pp. 57-77. Also available as CMU-CS-95-118R, May 1995. Revision of the paper, ``Teaching Mathematics to Software Engineers,'' Proceedings of AMAST'95, July 1995.

Zaremski and Wing 93

Zaremski, A. M., Wing J. M. ``Specification Matching Software Components.'' to appear in ACM Transactions on Software Engineering and Methodology, October 1997. A shorter conference version appears in Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995.