JavaTime: An environment for high-level design and specification

Jim Young
Dept. of Electrical Engineering and Computer Science
UC Berkeley

Thursday, April 10th, 1997
Hogan Room, 531 Cory Hall
5:00-6:00 p.m.


I will be talking about our efforts to construct an environment for high-level design and specification, which we call JavaTime. It utilizes Java as a common language for design, using Java threads as a mechanism for concurrency. Multiple models of computation are incorporated by imposing a policy of use on the Java language, and through the application of a technique we call successive, formal refinement. Other features of the JavaTime environment are design component encapsulation and distribution, and the separation of communication from function.