"Logical consequence" . "Software engineering" . "Software quality" .