My Published Paper
Title and Abstract
A Proposal of An extended LOTOS with Reflection
An Environment for A Reflective Specification Language
Software Process Description in RLOTOS
On the Design of a Stream-based Programming Language with a Mechanism of Voluntary Process Migration
Overview of the Computation part of
Sushi
Programming in the Small with
Sushi
Annotation Programming in
Sushi
Intermediate Servers in a WAN network for traffic efficient access to Distibuted Database
An Intelligent Software Package Distributing System with Formal Specification Techniques
Reflective Extension of LOTOS and Its Applications
Intelligent Software Package Distribution system
ugai@fujitsu.com