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.
Abstract:
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.