Lockheed Martin / Ontario Hydro / Grumman / High Assurance Systems / Embedded Systems / Bell Laboratories / Specifying Reactive Systems / Ralph D. Jeffords Naval Research Laboratory / Three NASA Systems / /
Country
United States / /
Currency
SCR / / /
Event
Person Communication and Meetings / /
Facility
Washington State University / International Space Station / University of Michigan / /
IndustryTerm
software system / software engineering / software design / software development process / display software / software module / weak tools / reactive systems / software experts / required software behavior / spacecraft fault protection systems / verification tools / software components / software developers / safetycritical aerospace systems / software requirements / software lifecycle / formal tools / software practitioners / hand-coded software / safety-critical and missioncritical software systems / software development / software corresponding / rigorous software requirements specification / software implementation / software requirements specification / safety-critical systems / realworld systems / safety-critical aerospace software / light-weight tools / /
Organization
Operational Flight Program U.S. Government / National Science Foundation / Washington State University / U.S. Office / Naval Research Lab. / ID IF / mUser Command / Association for Computing Machinery / NRL’s Center for High Assurance Computer Systems / National Aeronautics and Space Administration / European Union / United States Navy / IEEE Computer Society / the University of Michigan / NRL’s Center for High Assurance Systems / /
Person
Constance L. Heitmeyer / Fred Brooks / Tom Presburger / Proc / Allen Nikora / Susanne Moran / Randy Copeland / /
Position
Archer / editor / researcher / General / author / Archer / and R. Bharadwaj / contractor / Thermal Radiator Rotary Joint Manager / co-editor / M. Archer / member / /
NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546)