 | From the Series از مجموعه : -
Produced by تهيه كننده : Microsoft Research
Date تاريخ : 2004-11-09
When Can Formal Methods Make a Real Difference?download دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Description توضيح : This talk will consider a few cases from the ACM Risks Forum archives for which the sensible use of formal methods could have made a decisive difference in avoiding serious consequences -- with respect to requirements, specifications, human interfaces, implementation, and even operation, typically in systems that were supposedly safe, reliable, or secure. This will provide a view to the future in terms of things we can learn about the past.
Related Links لينك‌های مرتبط : -
When Can Formal Methods Make a Real Difference?download دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Speaker(s) اجرا : Peter Neumann, author
Runtime مدت زمان : 01:04:07
Video Size حجم ويدئو : 72 MB
Number of Slides تعداد اسلايد‌ها : 31 (4 MB)
When Can Formal Methods Make a Real Difference?download دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research
|
