Author: Jeannette M. Wing
Jeannette M. Wing is President's Professor of Computer Science and Department Head, Computer Science Department, Carnegie Mellon University
Publications
Co-authors
Productive Colleagues
- David Lorge Parnas
- David Gries
- Robert L. Glass
- 29
- 31
- 48
Publications
Wing, Jeannette M. (2008): Five deep questions in computing. In Communications of the ACM, 51 (1) pp. 58-60. https://dl.acm.org/doi/10.1145/1327452.1327479
Wing, Jeannette M. (2006): Computational thinking. In Communications of the ACM, 49 (3) pp. 33-35. https://dl.acm.org/doi/10.1145/1118178.1118215
Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.
Wing, Jeannette M. (1990): A Specifier\'s Introduction to Formal Methods. In IEEE Computer, 23 (9) pp. 8-24.
Detlefs, David, Herlihy, Maurice, Wing, Jeannette M. (1988): Inheritance of Synchronization and Recovery Properties in Avalon/C++. In IEEE Computer, 21 (12) pp. 57-69.