- Jeannette Wing
Jeannette M. Wing is a
computer science professor atCarnegie Mellon University ,Pittsburgh ,United States .Wing has been a leading member of the
formal methods community, especially in the area of Larch. She has led many research projects and has published widely [http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/] .With
Barbara Liskov , Jeannette Wing developed theLiskov substitution principle , published in 1993.She is on the editorial board of the following journals:
Journal of the ACM ,Formal Aspects of Computing (North American Editor),Formal Methods in System Design ,International Journal of Software and Informatics ,Journal of Information Science and Engineering ,Software Tools for Technology Transfer .Books
* J. M. Wing,
J. C. P. Woodcock , and J. Davies (eds.), "Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems", Toulouse, France,Springer-Verlag ,LNCS 1708 (Volume I) and 1709 (Volume II), 1999.
* U. Martin and J. M. Wing (eds.), "Proceedings of the First International Workshop on Larch", Springer-Verlag, Workshops in Computing Series, 1993.
*J. V. Guttag andJ. J. Horning (eds.) with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing, "Larch: Languages and Tools for Formal Specification", Springer-Verlag, 1993.ee also
*
Women in computing
*Liskov substitution principle External links
* [http://www.cs.cmu.edu/~wing/ Jeannette M. Wing home page]
** [http://www.spectrum.ieee.org/print/4095] Q&A With: Jeannette Wing By Lauren Aaronson
Wikimedia Foundation. 2010.