First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2012-04-10 10:17:12Open Document File Size: 2,30 MBShare Result on FacebookCityIrvine / /CompanyIrvine Safety Research Group / TCAS I / /CountryUnited States / /CurrencyUSD / / /FacilityUniversity of Washington / University of Califomia / Wt /IndustryTermprocess control systems / software design / aircraft collision avoidance systems / fundamental chemical / software requirements specification languages / it possible to model real systems / on-board devices / reactive systems / software requirements model / software engineers / real software / airframe manufacturers / chemical process / safety-critical systems / software developers / software requirements / software designs / process-control systems / airline representatives / airborne devices / orthogonal products / software blackbox behavior / software requirements analysis process / analog devices / software development / software systems / e-” / energy / software requirements validation techniques / /OrganizationFederal Aviation Administration / Michigan State University / National Science Foundation / University of Califomia / Information and Computcr Science Department / National Aeronautics and Space Administration / University of Washington / Seattle / Department of Computer Science and Engineering / Computer Science Department / /PersonJon Damon Reese / H. Hildreth / Nancy G. Leveson / Holly Hildreth / /Positiongeneral control problem / Black-box controller / analyst / model / formal analysis / head / controller / /ProductA-7 / /ProvinceOrStateCalifornia / /PublishedMediumIEEE TRANSACTIONS ON SOFTWARE ENGINEERING / /Technologyprocess control system / Process control / /SocialTag |