[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Formal Java?

Hi -

The June issue of IEEE computer has an article "The Real-Time
Specification of Java" by Bollella & Gosling, with a header that 
says: "The RTSJ provides a platform that will let programmers 
correctly reason about the temporal behavior of executing software..."

Also included is "Real-Time Distributed Object Computing: An Emerging 
Field" by Shokri & Sheu.

Also articles on Components, Real-Time CORBA Specification, Modeling
with UML, APIs for Real-Time Distributed Object Computing

Lots of good summer reading - if I ever get time...


Dyke Stiles            >>>>>> new address!!>>> dyke.stiles@xxxxxxxxxxx
Professor and Chair, Graduate Committee
Department of Electrical and Computer Engineering
4120 Old Main Hill
Utah State University
Logan UT 84322-4120
Voice: +1-435-797-2840                          FAX:   +1-435-797-3054
Work:                http://www.engineering.usu.edu/ece/research/rtpc/
Play:  http://www.engineering.usu.edu/ece/research/rtpc/utah/utah.html