. . "This may be implemented by requiring that ??? be encoded in a high level language such as Java???, or even by providing user-friendly software tools for viewing the behavior of ???." . .