. "software specification" . . . "formal specifications" . . "formal specification" . "specification" . "Formal specification" . "specifications" . "formalization" . . . "Formal specification" . . "specifying and verifying" . "software tools" . "formal" . "Product specification" . . "formally specifying" .