A Semantic Framework for Object-Oriented Development (1999)

View PDF

Download Links

by Tony Clark
Citations:3 - 0 self

Active Bibliography

3 A Semantics for Object-Oriented Design Notations – Tony Clark - 1999
Formal Refinement and Proof of a Small Java Program – Tony Clark
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
1 A Semantics for Object-Oriented Systems – Tony Clark - 1998
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
1237 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
942 Flocks, herds, and schools: a distributed behavioral model – Craig W. Reynolds - 1987