Providing a behavioral and static formal model to elicit the functional software requirement.

Ching-Huey Wang, William C. Chu, Feng-Jian Wang

Browse the full IRI paper archive.