Java has adopted a mechanism to support parameterized types that will be available in the next major release. A draft specification to add generics to the JavaTM Programming Language was published two years ago [1] and a new version of…

Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time assertion checking problem involving local variables in Java programs using…

We develop the detailed application of the computer technology on testing the student's level of knowledge. We implemented a Java original code, client-server technology based on the natural process of evaluation where the college students (clients) are tested for an…

This paper describes the development, evaluation and use of the computer program ModusXXI, a music generator that can create a practically unlimited number of atonal melodic dictations, or melodic material for sight-reading, based on the Modus Novus methodology [Edlund, 1963].…