Implementing Lyee-Calculus in Java

This paper provides an implementation of the constructs of the Lyee-Calculus in Java language in order to concretely show the efficiency of this calculus and its suitability for the Lyee methodology. Moreover, this implementation aims to give to programmers an environment that allows them to automatically generate applications from formal descriptions in Lyee-Calculus. In other words, this Java implementation of the Lyee-Calculus provides a means of bridging the gap between Lyee requirement specifications and their implementations.