functional and nonfunctional requirements