http:^^www.lcs.mit.edu^web_project^brochure^spd^spd.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 7 行

HTML
7 行
字号 
Server: Netscape-Commerce/1.12
Date: Tuesday, 26-Nov-96 00:06:29 GMT
Last-modified: Thursday, 15-Jun-95 00:07:12 GMT
Content-length: 2745
Content-type: text/html

<!doctype html public "-//W30//DTD W3 HTML 2.0//EN">

<HTML>


<TITLE>SYSTEMATIC PROGRAM DEVELOPMENT GROUP</TITLE>
<BODY>
<center>
<!WA0><A HREF="http://www.larch.lcs.mit.edu:8001/"><!WA1><IMG SRC=http://www.lcs.mit.edu/web_project/Brochure/spd/spdline.gif></a>
</center>
<p>
<center>
<table border>
<tr>
	<td><!WA2><img src=http://www.lcs.mit.edu/web_project/Brochure/spd/guttag.gif></td>
	<td ><!WA3><img hspace=6 src=http://www.lcs.mit.edu/web_project/Brochure/spd/garland.gif></td>
	<td><!WA4><img src=http://www.lcs.mit.edu/web_project/Brochure/spd/mtv.gif></td>
</tr>
<tr>
<td> <!WA5><A HREF="http://larch-www.lcs.mit.edu:8001/~guttag"><address><b>John Guttag</b></a>,<br>Group Head</address>
	<td> <!WA6><A HREF="http://larch-www.lcs.mit.edu:8001/~garland"><address><b>Stephen Garland</b></a>,<br>Principal Research Scientist</address>
	</td><td><!WA7><A HREF="http://larch-www.lcs.mit.edu:8001/~mtv"> <address><b>Mark T. Vandevoorde</b></a>,<br> Research Scientist</address></td>
</tr>
</table>
</center>
<body>
<p>

The <!WA8><A HREF="http://www.larch.lcs.mit.edu:8001/larch/index.html">Larch</a> project is designed to help produce high-quality
computer systems through the practical application of
rigorous methods of software and hardware design,
development, and maintenance.
<p>
Collaborating with systems designers, we study methods for
"decomposing" designs into modules with well-defined
interfaces and specifying the behavior of these interfaces.
This approach makes it easier to reason about designs,
since one can rely on specifications instead of examining
implementations.
<p>
An extensive set of support tools is an important part of
Larch. Some of the tools are lightweight -- that is, they
are quick and easy to use. LCLint, for example, supports
programming with data abstractions in ANSI C by detecting
obvious conflicts between code and interface
specifications.
<p>
Other tools are more heavyweight and so require more time
and expertise. The theorem-proving system called LP, for
instance, supports reasoning (in first-order logic) about
the properties of abstractions and designs. Proofs, like
designs, must be created, debugged, and maintained. Since
LP is used early in the design process to find design
flaws, it treats proving as an activity similar to
programming. All Larch tools support incremental
development in that they work with partial specifications,
but repay larger specification investments with larger
dividends in analysis.
<p>
The Larch project is becoming increasingly involved with
the design of parallel and distributed systems. Our aim is
to develop a useful set of abstractions and implementation
techniques for producing concurrent interactive symbolic
applications.

</BODY>
<p>
<!WA9><a href="http://www.lcs.mit.edu/web_project/Brochure/contents.html"><!WA10><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/contents_motif.gif></a>
<!WA11><a href="http://www.lcs.mit.edu/web_project/Brochure/sig/sig.html"><!WA12><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/previous_group_motif.gif></a>
<!WA13><a href="http://www.lcs.mit.edu/web_project/Brochure/sct/sct.html"><!WA14><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/next_group_motif.gif></a>
</HTML>

http:^^www.lcs.mit.edu^web_project^brochure^spd^spd.html - 源码说明

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

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

⌨️ 快捷键说明

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