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

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

Published in: IRI (2005)

Keyphrases

formal model
software development
software systems
software design
security patterns
user interface
software architecture
computer systems
software tools
hardware design
formal models
predicate calculus
probabilistic knowledge
semantic web
software developers