http:^^www.cs.ucsb.edu^~dillon^

来自「This data set contains WWW-pages collect」· EDU^~DILLON^ 代码 · 共 101 行

EDU^~DILLON^
101 行
字号 
Date: Thu, 21 Nov 1996 20:16:11 GMT
Server: Apache/1.0.2
Content-type: text/html
Content-length: 2515
Last-modified: Mon, 30 Sep 1996 18:58:59 GMT

<html><head><title>Laurie Dillon</title></head><body><hr><h2><!WA0><img src="http://www.cs.ucsb.edu/~dillon/dillon.gif" align=bottom alt="[beautiful portrait]" ></a>Laurie Dillon</h2><hr><strong>Laura K. Dillon</strong><br>Associate Professor<br><p>Room 2163, Engineering I<br>Department of Computer Science<br>University of California<br>Santa Barbara, CA 93106-5110<br><p>Internet: <strong>dillon@cs.ucsb.edu</strong><br>Telephone: <strong>(805) 893-3411</strong><br>Facsimile: <strong>(805) 893-8553</strong><br><p><hr><h2>Other homepages</h2><h3><!WA1><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA2><a href="http://www.cs.ucsb.edu/~dillon/TSE">TSE: Special Issue on Formal Methods in Software Practice</a><br><!WA3><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA4><a href="http://www.cs.ucsb.edu/~cs160/">CMPSC 160: Translation of Programming Languages</a><br><!WA5><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA6><a href="http://www.cs.ucsb.edu/~acm/">        UC Santa Barbara Student Chapter of the ACM</a><br><!WA7><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA8><a href="http://acm.org/top/people/dillon.html">       ACM Lectureship Information</a><br></h3><p><hr><h2>Research interests</h2><p> Formal methods for specification andvalidation of concurrent systems; software engineering; programming languages<p>Laura K. Dillon received the Ph.D. degree in Computer Science from the  University of Massachusetts in 1984. She joined  the faculty at UCSB in 1985, following a year as an Assistant Professor  in the Departments of Computer and Information Science and of Electrical and Computer Engineering at the  University of Massachusetts, Amherst.  Her research interests center on formal methods for specificationand analysis of software  systems, especially those involving concurrency.<p><hr><h2>Ongoing projects</h2><h3><!WA9><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA10><a href="http://www.cs.ucsb.edu/~dillon/oracle95-prop-abst.html">   Automated Suport for Testing and Debugging of Real-Time   Programs Using Oracles</a><br><!WA11><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA12><a href="http://www.cs.ucsb.edu/~dillon/micro95-prop-abst.html">         An Integrated Toolset for Specifying, Testing and Debugging	Complex Software-Intensive Systems</a><br><!WA13><img src="http://www.cs.ucsb.edu/~dillon/graphics/ball.green.gif"><!WA14><a href="http://www.cs.ucsb.edu/~dillon/cmodel-abst.html">        Visual Execution of Concurrent Programs</a><br></h3><p><hr> <h2><!WA15><a HREF="http://www.cs.ucsb.edu/~dillon/sel_pubs">       Recent Publications</a></h2><p><hr><h2><!WA16><a href="http://acm.org/top/people/dillon.html">       Presentations</a></h2><p><hr><!WA17><a href="http://www.cs.ucsb.edu/">Departmental home page.</a><hr></body></html>

http:^^www.cs.ucsb.edu^~dillon^ - 源码说明

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

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

⌨️ 快捷键说明

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