Methodologies General Terms Software / MIT Press / Dependable Systems / Talarian / Northrop Grumman / National Academies Press / TIBCO / Intel / /
Country
United States / /
Currency
USD / / /
Event
M&A / /
Facility
Massachusetts General Hospital / Artificial Intelligence Laboratory Massachusetts Institute of Technology / Massachusetts Institute of Technology / /
IndustryTerm
prototype tool / physical equipment / software-controlled medical devices / local area network / physical device / code analysis tool / software components / control software / software component / /
OperatingSystem
UNIX / Ubuntu / /
Organization
National Science Foundation / Massachusetts General Hospital / Massachusetts Institute of Technology / Beam Control Unit / Burr Proton Therapy Center / Safety Control Unit / /
Person
K. Havelund / S. Park / Michael Jackson / W. Visser / G. P. Brat / Jay Flanz / Figure / Nghia Van Ho / Daniel Jackson / Joseph P. Near / Aleksandar Milicevic / / /
Position
therapist / RPC Server RT / manager / inspector / RT / technician / Treatment Manager Beam Manager System Manager / messages RTWorks RPC Server Treatment Manager Beam Manager System Manager / physicist / director / Treatment Manager / G. P. / /
A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti