This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jeannette M. Wing
A grouping.
Jeannette M. Wing: what a formal method is - the CMU reports behind the 1990 IEEE Computer article - behavioural subtyping with Liskov, and the 1996 state-of-the-art survey.
6 references
Formal methods: State of the art and future directions
Edmund M. Clarke and others (1996) · ACM Computing Surveys · Association for Computing Machinery (ACM)
The CMU master of Software Engineering core curriculum
David Garlan and others (1995) · Lecture notes in computer science · Springer Science+Business Media
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Linearizability: a correctness condition for concurrent objects
Maurice Herlihy and others (1990) · Association for Computing Machinery (ACM)
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society
What is a Formal Method?
Jeannette M. Wing (1989) · School of Computer Science, Carnegie Mellon University