Abstract: A static analysis method conventionally used is applied to the Lyee requirement. More specifically, for Lyee requirement as an object, optimization (classical optimization, optimization by ordering of a predicate vector), slicing, requirement debug, and typing (error detection, type finding, security using a type) are performed. These are subjected to a pre-processing appropriate for generation of optimal code by the LyeeAll tool to obtain a format for outputting a requirement. Thus, it is possible to optimize the requirement definition for code generation having a more preferable quality (reduction in memory and execution time consumption) in the Lyee methodology.

Abstract: A computer based system accelerates code execution by speeding up method calls. A virtual machine includes a loader, interpreter and a thread manager. The loader constructing a hash-table using method signatures, and the interpreter searching the hash-table for locating methods. The interpreter using a method call cache having a pointer to a receiver for accelerating code execution. The thread manager using a depth level for accelerating locking state transitions.