Candice Normalee Chambers

Florida Institute of Technology · Department of Computer Science

Formal and structured modeling of system or software behavior enables automated reasoning early in the design process. This permits checking the correctness of the flow of information, consistency among the interacting components, and dependencies among components, to mention a few potential automated reasoning. Presently, research efforts have emp...

The basis for the existence of a system is its requirements, which guide the entire process of systems development. The requirements are written in the natural language, which aids the process of generating the specification and, eventually, the system’s design. Interpreting a specification or the system description from the natural language induce...