[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.
--
======================================================================
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
======================================================================