http:^^www.cs.washington.edu^research^projects^safety^www^

来自「This data set contains WWW-pages collect」· EDU^RESEARCH^PROJECTS^SAFETY^WWW^ 代码 · 共 62 行

EDU^RESEARCH^PROJECTS^SAFETY^WWW^
62 行
字号 
Date: Thu, 21 Nov 1996 20:30:11 GMTServer: NCSA/1.4.2Content-type: text/html<HEAD><TITLE>Software Safety at the University of Washington</TITLE></HEAD><body bgcolor="#FFFFFF"><CENTER>      <!WA0><!WA0><!WA0><!WA0><img src="http://www.cs.washington.edu/research/projects/safety/www/safety_masthead.gif" align="center" vspace = "10" hspace = "10"      alt="Software Safety at the University of Washington"><P><HR WIDTH = 400><P><TABLE BORDER=0 Cellpadding= 4 Cellspacing = 8><TR><TD>      Software is playing an increasingly important role in systems such      as nuclear reactors, aircraft, defence and space systems, chemical      plants, and medical equipment.  Because of the consequences of a      malfunction, these safety-critical systems must pass rigorous tests      and reviews before they may be used.  Although system safety engineering      techniques have existed for decades, most do not apply to systems that      contain digital computers and software. <p><P>      The goal of the University of Washington Safety Project is to develop      a theoretical foundation for safety and a methodology for building      safety-critical systems built upon that foundation.        In <!WA1><!WA1><!WA1><!WA1><A href = "http://www.cs.washington.edu/research/projects/safety/www/book.html"> <i>Safeware: System Safety and      Computers</i></a>, Nancy Leveson summarizes the issues involved and      lays the foundation for the methodology.  We are now working on safety       analysis techniques to support the methodology and a set of      prototype tools to be used to validate the specification and analysis       techniques. <p></TD></TR></TABLE>     <P><HR WIDTH = 400><P>      <!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.washington.edu/research/projects/safety/www/research.html"><!WA3><!WA3><!WA3><!WA3><img src="http://www.cs.washington.edu/research/projects/safety/www/research.gif"      border=0 align=bottom width=155 height=120 alt="Research"></a>      <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.washington.edu/research/projects/safety/www/papers.html"><!WA5><!WA5><!WA5><!WA5><img src="http://www.cs.washington.edu/research/projects/safety/www/papers.gif"      border=0 align=bottom width=155 height=120 alt="Papers"></a>      <!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.washington.edu/research/projects/safety/www/people.html"><!WA7><!WA7><!WA7><!WA7><img src="http://www.cs.washington.edu/research/projects/safety/www/people.gif"      border=0 align=bottom width=155 height=120 alt="People"></a>     <P><HR WIDTH = 400><P>      <!WA8><!WA8><!WA8><!WA8><a href="http://www.washington.edu/">University of Washington</a> |       <!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.washington.edu/">UW Computer Science</a><br>      <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.washington.edu/research/se">UW Software Engineering</a> |      <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.washington.edu/research/projects/safety/www/links.html">Other Safety Links</a>      </center></body></html>

http:^^www.cs.washington.edu^research^projects^safety^www^ - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.washington.edu^research^projects^safety^www^ 源码文件，采用 EDU^RESEARCH^PROJECTS^SAFETY^WWW^ 编程语言编写，共 62 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与数据集相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?