http:^^www-cse.ucsd.edu^users^goguen^
来自「This data set contains WWW-pages collect」· EDU^USERS^GOGUEN^ 代码 · 共 79 行
EDU^USERS^GOGUEN^
79 行
Date: Thu, 21 Nov 1996 20:10:10 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Sun, 13 Oct 1996 00:35:16 GMTContent-length: 2466<html> <head> <title>Joseph Goguen</title> </head><body background="images/ycbg.jpg"><!WA0><a href="http://www-cse.ucsd.edu/users/goguen/new.html">What's New</a> on my site and <!WA1><a href="http://www-cse.ucsd.edu/users/goguen/cool.html">What's Cool</a> on the web.<hr><b><font size=5>Joseph Goguen<font size=+2> </font></font></b><br><font size=+2>   </font><font size=4>Professor, <!WA2><a href="http://www.cs.ucsd.edu/index.html">Dept. of Computer Science and Engineering</a><br><font size=+2>   </font>Director, <!WA3><a href="http://soeadm.ucsd.edu/academic/amp/amp.html"> Program in Advanced Manufacturing</a></font><hr><em>Address:</em><br>     <!WA4><a href="http://www.cs.ucsd.edu/index.html">Dept. of Computer Science and Engineering</a>,<br>     <!WA5><a href="http://www.ucsd.edu/"><u>University of California at San Diego</u></a><br>     9500 Gilman Drive, La Jolla, CA 92093-0114, USA.<p><em>Telephones:</em><br>    Direct: +1 (619) 534-4197<br>    Secretary: +1 (619) 822-0702, <!WA6><a href="mailto:bodecker@cs.ucsd.edu"> Lisa Bodecker</a><br>    Department: +1 (619) 534-1246<br>    Dept. Fax: +1 (619) 534-7029<br><em>Office:</em> 3131 <!WA7><a href="http://www-cse.ucsd.edu/cse/APM.html">Applied Physics & MathBldg.</a><br><em>Email:</em> <!WA8><a href="mailto:goguen@cs.ucsd.edu">goguen@cs.ucsd.edu</a><dl><dt><font size=4><b>Other information:</b></font></dt> <dd><!WA9><a href="http://www-cse.ucsd.edu/users/goguen/projs/projs.html"><font size=4>Research projects</font></a>;</dd> <dd><!WA10><a href="http://www-cse.ucsd.edu/users/goguen/pubs/index.html"><font size=4>Publications</font></a>;</dd> <dd><!WA11><a href="http://www-cse.ucsd.edu/users/goguen/sys/index.html"><font size=4>Software systems</font></a>;</dd> <dd><!WA12><a href="http://www-cse.ucsd.edu/users/goguen/courses/index.html"><font size=4>Courses</font></a>;</dd> <dd><!WA13><a href="http://www-cse.ucsd.edu/users/goguen/misc/shcv.html"><font size=4>Biographical information</font></a>.</dd> </dl><dl><dt><font size=4><b>Research Interests:</b></font></dt> <dd>Software engineering, including specification, architecture and re-use </dd> <dd>Theorem proving </dd> <dd>Requirements capture and analysis </dd> <dd>Formal methods </dd> <dd>Object oriented, relational and functional programming and their combinations </dd> <dd>Social aspects of engineering and science </dd> <dd>Algebraic specification </dd> <dd>Concurrent computer architecture based on rewriting </dd> <dd>Philosophy of computation </dd></dl><hr><font size=-1>5 October 1996</font></body> </html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?