http:^^www.cs.uiuc.edu^cs_info_server^dept_info^cs_research^research_areas^software.html

This data set contains WWW-pages collected from computer science departments of various universities

Date: Wed, 15 Jan 1997 00:35:12 GMT
Server: NCSA/1.5.2
Last-modified: Wed, 22 Jun 1994 16:48:33 GMT
Content-type: text/html
Content-length: 1949

<TITLE>Software Engineering</TITLE>
<H1>
Software Engineering
<!WA0><img src="http://www.cs.uiuc.edu/CS_INFO_SERVER/PICTURES/blue_small.gif">
</H1>

<ul><h4>
<li>Design Tools & Environments:
	<!WA1><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/campbell.html">Campbell</a>, 
	<!WA2><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/gallopoulos.html">Gallopoulos</a>, 
	<!WA3><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/harandi.html">Harandi</a>, 
	<!WA4><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/johnson.html">Johnson</a>, 
	<!WA5><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">Kaplan</a>, 	
	<!WA6><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/padua.html">Padua</a>
<li>Program Verification:  
	<!WA7><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/campbell.html">Campbell</a>, 
	<!WA8><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/dershowitz.html">Dershowitz</a>, 
	<!WA9><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kamin.html">Kamin</a>, 
	<!WA10><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">Kaplan</a>, 
	<!WA11><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/reddy.html">Reddy</a>
<li>Program Transformation:  
	<!WA12><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">Agha</a>, 
	<!WA13><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/campbell.html">Campbell</a>, 
	<!WA14><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/dershowitz.html">Dershowitz</a>, 
	<!WA15><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">Kaplan</a>, 
	<!WA16><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/padua.html">Padua</a>, 
	<!WA17><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/reddy.html">Reddy</a>
<li>Specifications & Prototyping:  
	<!WA18><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">Agha</a>, 
	<!WA19><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/campbell.html">Campbell</a>, 
	<!WA20><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/harandi.html">Harandi</a>, 
	<!WA21><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kamin.html">Kamin</a>, 
	<!WA22><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">Kaplan</a>, 
	<!WA23><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/padua.html">Padua</a>, 
	<!WA24><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/reddy.html">Reddy</a>
</ul></h4>
<!WA25><img src="http://www.cs.uiuc.edu/CS_INFO_SERVER/PICTURES/blue_small.gif">
<h4><!WA26><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_RESEARCH/RESEARCH_AREAS/areas.html">
<!WA27><img src="http://www.cs.uiuc.edu/CS_INFO_SERVER/PICTURES/back-small.gif">
Go back to Research Areas Index</a></h4>