Fujitsu Corporation

Tokyo Shibaura Denki Kabushiki Kaisha

Kenji Nagahashi

Hirotaka Hara

Tsuyoshi Ishida

Hitoshi Matsumoto

Sanya Uehara

Akihiko Matsuo

Keiko Kawabe

Minako Kimura

Takahide Matsutsuka

Ko Ohtombe

Hideo Osawa

Dave Marvit

Albert Reinhardt

A state transition definition table describes state transition definitions. A state transition table generation class is generated from the state transition definition table. A state transition management module controls the state transition of screens utilizing a state transition table generated from a state transition table generation class, based on the input of events derived from screens. A state transition management module controls the display of screens based on the state transition thereof.

Apparatus for constructing and operating interactive software

A variable retrieving unit refers to variable relation information and variable definition information held in an analysis result storing unit and retrieves variables which directly relate to a variable designated by a retrieval designating unit. A display unit displays a variable retrieval result by the variable retrieving unit in a form such that the variable retrieval result can be used for designation for re-retrieval by the retrieval designating unit.

Variable retrieving apparatus and method and computer readable recording

A restricting condition extracting unit analyzes an error determination portion included in a program to be analyzed and extracts a restricting condition of a particular variable. A variable categorizing unit analyzes the relation among variables used in an executable statement in the program to be analyzed and categorizes the variables corresponding to the analyzed result. A domain definition extracting unit outputs domain relation information representing a domain to which a plurality of variables belong and the relation among variables that belong to the domain using the output of the restricting condition extracting unit and the variable categorizing unit. The domain definition information is graphically displayed so that the user can easily understand the content thereof.

Program analyzing apparatus which categorizes variables into domains and

A variable type analyzing unit detects the data types of each variable. A variable length analyzing unit detects the length of each variable. A partial reference unit detects the range of a partial reference when part of a variable is referred to. An internal layout analyzing unit checks the range to which data is actually referred and to which data is actually assigned based on the information on each variable obtained by the above units. A domain analyzing unit categorizes variables used in a target program by domain based on the ranges.

A control flow is prepared by connecting blocks in an execution order, each block not including a branch and comprising a series of statement, based on a syntactical analysis of a program. A second control flow is prepared by cutting the first control flow at one portion and combining the cut result with a symbol designating a loop. A third control flow is prepared by expressing a portion of a loop, branch and merge in the second control flow and the second control flow in a hierarchical manner. The third control flow expresses a portion of a sequential execution other than the loop, branch and merge, a portion of the loop, and a portion of a branch and merge in a hierarchical order by using a symbol for a sequential execution. A specification of the program is extracted by using the third control flow.

Method of performing a reverse analysis of a program and its apparatus

In a printed matter identifying apparatus of the present invention, the light source illuminates the detecting fields of the note. The reflected light-waves from the detecting fields are lead to the light receivers through the focusing lenses, the diffusion plates, the optical slits, the light conducting paths and red color transmitting and blue color transmitting filters. The output signals from the light receivers are amplified by the amplifiers and sampled by the sampling circuits. Among the sampled color component signals, the red component signals are applied to the subtracter to produce the red component difference signal and the blue component signals are applied to the adder to produce the blue component sum signal. These different signal and sum signal are applied to the comparators respectively and compared with the reference signals read out from the memory. The output signals from the comparators are supplied to the judgment circuit where the judgment of the printed matter is performed.

Growing community of inventors

Kawasaki, Japan

Kenji Nagahashi