Next: Daniel
Jackson Up: No
Title Previous: Jeannette
Wing
- 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.
- 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.
- 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,''
to appear 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.
- 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.
- Zaremski and Wing 93
- Zaremski, A. M., Wing J. M. ``Specification Matching
Software Components.'' accepted pending minor revisions
by ACM Transactions on Software Engineering and
Methodology, submitted June 1996. A shorter
conference version appears in Third ACM SIGSOFT
Symposium on the Foundations of Software Engineering,
October 1995.
- 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.
- 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.
- Jackson and Wing 96
- Jackson, D., Wing, J. M. ``Lightweight Formal Methods,'' IEEE
Computer, April 1996.
Brought to you by the Composable Software
Systems research group at Carnegie Mellon University's
School of Computer
Science. Last updated Wed Apr 23, 1997.