Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Specification and Verification of Component-Based Systems

---

This page contains links to various systems discussed at the SAVCBS workshop and links to other pages with similar links.

• The Java Modeling Language (JML) web site has an extensive page of links to similar systems.
• Spec#, a specification language for C#.
• Gary T. Leavens's page of links to various topics in software engineering.

---

Gary T. Leavens
$Date: 2004/11/09 16:36:03 $