Software specifications framework for system operations' requirements