Application of Java in High-Level Design

So where are we at?
- JAVA!!! (JavaTime, J. Young, 1996)
- As a language for describing complex, high-level systems with performance requirements
Are threads sufficient to model concurrency well?
Memory management -- an opportunity, not a problem
Many possibilities for automatic analysis/interactive correction -- lots to do!

http://www-cad.EECS.Berkeley.EDU/~jimy/java/JavaTime