collaborators

1 paper

cs.SE2014

Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering

Kushal Ahmed, Toby Myers, Lian Wen +1

Behavior Engineering (BE) provides a rigorous way to derive a formal specification of a software system from the requirements written in natural language. Its graphical specificati…