00482nam a22001217a 4500020002400000082001600024100004300040245005500083260003200138300003600170500003100206650012300237  a9781032275994 (pbk)  a005.12bLAP  aLaplante, Philip AaMohamad h. kassab   a Requirements engineering for software and systems  aBoca RatonbCRC Pressc2022  a xxiv, 404 p.b : ill.c 23 cm.  aInclude Index and Glossary  aEngineering softwarevComputer programs SpecificationsvRequirements engineeringvSoftware systemsvFormal methodsvFC