Jeannette Wing

Jeannette Wing

Jeannette M. Wing is a computer science professor at Carnegie 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 the Liskov 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 and J. 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.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Jeannette Wing — Jeannette M. Wing (* 4. Dezember 1956) ist Professorin für Informatik (engl. Computer Science) an der Carnegie Mellon University. 1979 errang sie die Grade Bachelor und Master in Elektrotechnik und Informatik am MIT, ebendort erhielt sie 1983… …   Deutsch Wikipedia

  • Jeannette Wing — Jeannette M. Wing est professeur d informatique à l Université Carnegie Mellon (sur une chaire intitulée professeur du président). Elle est directrice du département d informatique. Elle a reçu son Bachelor et son Master au Massachusetts… …   Wikipédia en Français

  • Wing — heißen die Orte: Wing (Alabama), Ort in den USA Wing (Buckinghamshire), Ort in England Ort der All Saints Church (Wing) Wing (Oakham) in Leicestershire, Mize Maze in England Wing (Rutland), Ort in England Port Wing (Wisconsin), Stadt in den USA… …   Deutsch Wikipedia

  • Wing Commander (video game) — Wing Commander Developer(s) Origin Systems Publisher(s) Origin Systems …   Wikipedia

  • Wing Commander III: Heart of the Tiger — Developer(s) Origin Systems Publisher(s) Origin Systems …   Wikipedia

  • Wing Commander — Desarrolladora(s) Origin Systems Diseñador(es) Chris Roberts Plataforma(s) MS DOS, AmigaCD32, Sega CD, SNES, Windows …   Wikipedia Español

  • Jeannette M. Wing — In diesem Artikel oder Abschnitt fehlen folgende wichtige Informationen: Geburtstag, Geburtsort etc. Du kannst Wikipedia helfen, indem du sie recherchierst und einfügst. Jeannette M. Wing ist Professorin für …   Deutsch Wikipedia

  • List of Wing Commander characters — The Wing Commander series of video games and novels have developed a wide variety of characters and personalities.In order of appearance: Historical figures(pre 27th Century) * Sivar * Karga * Sun Wan Lu * Zhing * Harold Jarvis * Tralchar * Shari …   Wikipedia

  • Michelle Wing Kwan — Michelle Kwan hier beim Schaulaufen zur Weltmeisterschaft 2004 in Dortmund …   Deutsch Wikipedia

  • Ersetzbarkeitsprinzip — Das liskovsche Substitutionsprinzip (LSP) oder Ersetzbarkeitsprinzip ist ein Kriterium in der objektorientierten Programmierung, das angibt, wann ein Datentyp als Subtyp eines anderen Typs modelliert werden kann. Das liskovsche… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”