📄 http:^^www.cs.washington.edu^research^se^
字号:
Date: Tue, 10 Dec 1996 03:34:36 GMTServer: NCSA/1.4.2Content-type: text/html<HEAD><TITLE>Software Engineering at the University of Washington</TITLE></HEAD><body bgcolor="#bcd2ee"><H1>Software Engineering at the University of Washington</H1><hr>Welcome to the home page for <b> Software Engineering </b> researchand education in the <!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.washington.edu/">Department of Computer Science &Engineering</A> at the <!WA1><!WA1><!WA1><!WA1><A HREF="http://www.washington.edu/">Universityof Washington</A>.<p>Software engineering is a diverse area, and the projects and facultyin our department reflect that. In general, we are interested inensuring that complex software systems exhibit specific properties.Recently, the three properties that we have focused on are: <!WA2><!WA2><!WA2><!WA2><ahref=http://www.cs.washington.edu/research/projects/safety/www/index.html>software safety</a> (<!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.washington.edu/people/faculty/leveson.html"> NancyLeveson</A>), which concerns how to guarantee that systems withembedded software cause no harm to human life, the environment, orproperty; ease of evolution (<!WA4><!WA4><!WA4><!WA4><ahref=http://www.cs.washington.edu/homes/notkin>David Notkin</a>),which concerns reducing the costs and complexity of changing softwaresystems over time; and real-time attributes (<!WA5><!WA5><!WA5><!WA5><ahref=http://www.cs.washington.edu/people/faculty/shaw.html>AlanShaw</a>), which concerns understanding and guaranteeing that certaintiming constraints are satisfied.<p>In addition to continuing work on these and related properties, ourcurrent work is characterized in two ways. First, we are interestedin understanding how properties interact: for instance, how does one(or can one) build safe systems that can be modified easily? Second,what are the problems that arise in the construction of real softwaresystems? We have a history of working on such systems; our group hashad interactions with the FAA on TCAS, the collison avoidance systemnow found on all planes of over 30 passengers, with Microsoft onhelping them with an experimental restructuring of their 1.2 millionline Excel product, and with local medical device companies who needto demonstrate that their products satisfy both safety and timingrequirements. <p>Faculty, students, etc. interested primarily in software engineeringare listed below, but other people in the department dabble insoftware engineering research and education from time to time. <P><!WA6><!WA6><!WA6><!WA6><img alt="o" src="http://www.cs.washington.edu/research/se/lib/blueball.gif"><b><!WA7><!WA7><!WA7><!WA7><a href=http://www.cs.washington.edu/research/se/people.html>People</a></b><p><!WA8><!WA8><!WA8><!WA8><img alt="o" src="http://www.cs.washington.edu/research/se/lib/blueball.gif"> <b><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.washington.edu/research/se/courses.html">Courses</A></b><p><!WA10><!WA10><!WA10><!WA10><img alt="o" src="http://www.cs.washington.edu/research/se/lib/blueball.gif"> <b><!WA11><!WA11><!WA11><!WA11><a href=http://www.cs.washington.edu/research/se/bibs.html>Various bibliographies</a></b><p><!WA12><!WA12><!WA12><!WA12><img alt="o" src="http://www.cs.washington.edu/research/se/lib/blueball.gif"> <b>Miscellaneous</b><menu><li> <!WA13><!WA13><!WA13><!WA13><A HREF="http://www.iao.fhg.de/Library/conferences/index/Software_Engineering.html"> Software engineering conference announcements</A><li> <!WA14><!WA14><!WA14><!WA14><A HREF="http://www.cs.washington.edu/research/se/cfps.html"> More software engineering conference announcements</A><li> <!WA15><!WA15><!WA15><!WA15><A HREF="http://www.gmd.de/Events/ICSE18/"> 18th International Conference on Software Engineering</A><li> <!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cs.washington.edu/research/se/icse17/index.html"> 17th International Conference on Software Engineering</A><li> <!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.washington.edu/research/se/outside-se.html"> Software Engineering Information outside UW</A></menu><hr><table><tr valign=center> <td align=center> <!WA18><!WA18><!WA18><!WA18><a href=http://www.cs.washington.edu> <!WA19><!WA19><!WA19><!WA19><img width=90 height=54 Align=top src="http://www.cs.washington.edu/general/sptm_s.gif" alt="[CSE Button]"></a></td> <th colspan=20></th> <td align=left> Back to <!WA20><!WA20><!WA20><!WA20><a href=http://www.cs.washington.edu>UW CSE Home Page</a> </td></tr></table><hr><ADDRESS>notkin@cs.washington.edu</ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -