Computational thinking
- Jeannette M. Wing
- EducationCommunications of the ACM
- 1 March 2006
It represents a universally applicable attitude and skill set everyone, not just computer scientists, would be eager to learn and use.
Linearizability: a correctness condition for concurrent objects
- M. Herlihy, Jeannette M. Wing
- Computer ScienceTOPL
- 1 July 1990
This paper defines linearizability, compares it to other correctness conditions, presents and demonstrates a method for proving the correctness of implementations, and shows how to reason about concurrent objects, given they are linearizable.
Computational thinking and thinking about computing
- Jeannette M. Wing
- EducationPhilosophical Transactions of the Royal Society A…
- 1 April 2008
In thinking about computing, the authors need to be attuned to the three drivers of their field: science, technology and society, to revisit the most basic scientific questions of computing.
A behavioral notion of subtyping
- B. Liskov, Jeannette M. Wing
- Computer ScienceTOPL
- 1 November 1994
This paper presents a way of specifying types that makes it convenient to define the subtype relation, and discusses the ramifications of this notion of subtyping on the design of type families.
Automated generation and analysis of attack graphs
- Oleg Sheyner, J. Haines, S. Jha, R. Lippmann, Jeannette M. Wing
- Computer ScienceProceedings IEEE Symposium on Security and…
- 12 May 2002
This paper presents an automated technique for generating and analyzing attack graphs, based on symbolic model checking algorithms, letting us construct attack graphs automatically and efficiently.
Formal methods: state of the art and future directions
- E. Clarke, Jeannette M. Wing
- Computer ScienceCSUR
- 1 December 1996
The state of the art in specification and verification, which includes advances in model checking and theorem proving, is assessed and future directions in fundamental concepts, new methods and tools, integration of methods, and education and technology transfer are outlined.
An Attack Surface Metric
- P. Manadhata, Jeannette M. Wing
- Computer ScienceIEEE Transactions on Software Engineering
- 1 May 2011
The notion of a system's attack surface is formalized and an attack surface metric is introduced to measure the attack surface in a systematic manner and is useful in multiple phases of the software development lifecycle.
Larch: Languages and Tools for Formal Specification
- J. Guttag, J. Horning, S. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Computer ScienceTexts and Monographs in Computer Science
- 1993
This monograph discusses the use of formal specifications in program development and introduces the notation of mathematical logic in formal specification languages and supporting tools.
Specification matching of software components
- Amy Moormann Zaremski, Jeannette M. Wing
- Computer ScienceTSEM
- 1 October 1995
This work uses formal specifications to describe the behavior of software components and, hence, to determine whether two components match, and gives precise definitions of not just exact match, but, more relevantly, various flavors of relaxed match.
A specifier's introduction to formal methods
- Jeannette M. Wing
- Computer ScienceComputer
- 1 September 1990
Formal methods used in developing computer systems are defined, and their role is delineated, and certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed.
...
...