📄 http:^^www.ics.uci.edu^~cliu1^
字号:
Date: Thu, 21 Nov 1996 22:51:58 GMT
Server: Apache/1.0.5
Content-type: text/html
Content-length: 5498
Last-modified: Mon, 28 Oct 1996 05:59:45 GMT
<HTML><HEAD><TITLE>LIU, Chang</TITLE><LINK rev="Made" href="mailto:cliu1@ics.uci.edu"><META name="person" content="Chang Liu"><META name="sortname" content="Liu, Chang"><META name="description" content="Home page of Charles Chang Liu at UCI. "><META name="keywords" content="Fudan, GIL, Fudan University, Graphical Interval Logic, Fudan 8724, Fudan 9124, Fudan Graduate 9124, UCI, Wenzhou"></HEAD><BODY BGCOLOR=FFFFFF VLINK=0000EE LINK=0000EE><CENTER><!WA0><IMG SRC="http://www.ics.uci.edu/~cliu1/construc.gif" ALT="Under Construction" WIDTH=256 HEIGHT=80> <BR></CENTER><!WA1><IMG SRC="http://www.ics.uci.edu/~cliu1/picture2.jpg" align=center><font size=4></font><Br><H1>Liu, Chang (Charles)</H1><H4><ADDRESS><!WA2><a href="http://www.ics.uci.edu/">Information and Computer Science</a><BR><!WA3><a href="http://www.uci.edu/">University of California, Irvine</a>CA 92697-3425, USA</ADDRESS><p>Last modified: 18 Aug 1996</H4><P ALIGN=CENTER> <!WA4><IMG SRC="http://www.ics.uci.edu/~cliu1/crimson_line.gif"ALT="___________________________________"><P><UL><pre><LI>Position : Graduate Student<LI>E-mail : <!WA5><A href="mailto:cliu1@ics.uci.edu">cliu1@ics.uci.edu</A><LI>Mail : 6260 Adobe Circle Drive, Irvine, CA 92612, USA</A><LI>Office : ICS2 (Bldg 304) Room 100 <LI>Office Phone : +1(714)UCI-1326 <LI>Home Phone : +1(714)856-0310</A><LI>Fax : +1(714)UCI-4056</A></pre></UL><br><P><!WA6><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>Current Project<!WA7><A HREF="http://www.research.digital.com/SRC/modula-3/html/home.html"> <FONT SIZE=-1> Modula-3</FONT> </A></H3><H4><!WA8><a href="http://vim.ecs.soton.ac.uk/modula-3/trestle_by_example/html/tutorial.html">Trestle By Example</a></H4><UL> <!WA9><IMG SRC="http://www.ics.uci.edu/~cliu1/small_i.gif"> <!WA10><A HREF="http://www.ics.uci.edu/~cliu1/help.html">Information </A><BR> <!WA11><IMG SRC="http://www.ics.uci.edu/~cliu1/search_graphic.gif"> <!WA12><A HREF="http://www.ics.uci.edu/~cliu1/search.html"> Search </A></UL> <P><NOBR><!WA13><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>Current Research : Graphical Interval Logic (GIL)</h3><H4><!WA14><a href="http://www.ics.uci.edu/~omalley/#tools">GIL Checker</a><br><!WA15><a href="http://www.cs.ucsb.edu/TRs/TRCS94-04.html">Specification and Testing of Temporal Properties of Concurrent System Designs</a><br><!WA16><a href="http://www.cs.ucsb.edu/TRs/TRCS93-16.html">A Graphical Interval Logic for Specifying Concurrent Systems</a><br><!WA17><a href="http://www.ics.uci.edu/~softtest/taos.html">Taos</a><br><!WA18><a href="http://www.ics.uci.edu/~omalley/gil_dfa.html">Efficient Specification-Based Test Oracles</a><br><!WA19><a href=""http://www.ics.uci.edu/~cliu1/></a><br><a href=""></a><br><!WA20><a href=""http://www.ics.uci.edu/~cliu1/></a><br><a href=""></a><br><!WA21><a href=""http://www.ics.uci.edu/~cliu1/></a><br><a href=""></a><br><!WA22><a href=""http://www.ics.uci.edu/~cliu1/></a><br><a href=""></a><br></H4></NOBR><NOBR><!WA23><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>Previous Projects : Jadebird Software Development Environment</h3><H4><!a href="csmt2_1.ps"></a><!WA24><a href="http://www.ics.uci.edu/~cliu1/sat3_3.ps">Structured Analysis Tool</a> <h5> <!WA25><a href="http://www.ics.uci.edu/~cliu1/toolgif/sat1.gif">Picture1</a> <!WA26><a href="http://www.ics.uci.edu/~cliu1/toolgif/sat2.gif">Picture2</a><br></h5><!WA27><a href="http://www.ics.uci.edu/~cliu1/sd_levelmenu.ps">Structured Design Tool</a><h5> <!WA28><a href="http://www.ics.uci.edu/~cliu1/toolgif/sdt1.gif">Picture1</a> <!WA29><a href="http://www.ics.uci.edu/~cliu1/toolgif/sdt2.gif">Picture2</a><br></h5><!WA30><a href="http://www.ics.uci.edu/~cliu1/datd_modulemenu.ps">Document Analysis Tool/Module Structure Diagram</a><h5> <!WA31><a href="http://www.ics.uci.edu/~cliu1/toolgif/datmsd1.gif">Picture1</a> <!WA32><a href="http://www.ics.uci.edu/~cliu1/toolgif/datmsd2.gif">Picture2</a><br></h5><!WA33><a href="http://www.ics.uci.edu/~cliu1/datpdl9_2.ps">Document Analysis Tool/Procedure Description Language</a><h5> <!WA34><a href="http://www.ics.uci.edu/~cliu1/toolgif/datpdl1.gif">Picture1</a> <!WA35><a href="http://www.ics.uci.edu/~cliu1/toolgif/datpdl2.gif">Picture2</a><br></h5><!WA36><a href="http://www.ics.uci.edu/~cliu1/tracer4_2.ps">Document Tracing Tool</a><h5> <!WA37><a href="http://www.ics.uci.edu/~cliu1/toolgif/trace1.gif">Picture1</a> <!WA38><a href="http://www.ics.uci.edu/~cliu1/toolgif/trace2.gif">Picture2</a><br></h5><!WA39><a href="http://www.ics.uci.edu/~cliu1/ddt2_1.ps">Detailed Design Tool</a> <h5> <!WA40><a href="http://www.ics.uci.edu/~cliu1/toolgif/ddt1.gif">Picture1</a> <!WA41><a href="http://www.ics.uci.edu/~cliu1/toolgif/ddt2.gif">Picture2</a><br></h5><!WA42><a href="http://www.ics.uci.edu/~cliu1/cct5_1.ps">C Coding Tool</a> <h5> <!WA43><a href="http://www.ics.uci.edu/~cliu1/toolgif/cct1.gif">Picture1</a> <!WA44><a href="http://www.ics.uci.edu/~cliu1/toolgif/cct2.gif">Picture2</a><br></h5></H4></NOBR><!WA45><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>What's New @ UCI & Fudan</H3><UL> <LI><!WA46><A HREF="http://www.fudan.sh.cn/"><STRONG>Fudan University </STRONG></a><BR><P> <LI><!WA47><A HREF="http://www.campusrec.uci.edu/~cr/"> Campus Recreation</A></UL><P><!WA48><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>Useful Web Resources <!WA49><A HREF="http://www.ics.uci.edu/~cliu1/links.html"> <FONT SIZE="-1">Selected Links </A>including <!WA50><A HREF="http://www.sh.com/weather.htm">weather</FONT></A></H3><NOBR><!WA51><IMG ALIGN=LEFT SRC="http://www.ics.uci.edu/~cliu1/satveritas.gif" ALT="*"><H3>Misc</H3></NOBR><P> <CENTER><TABLE BORDER=0 ALIGN=CENTER WIDTH=100% CELLPADDING=0><TR><TD VALIGN=TOP><UL><LI><!WA52><A HREF="http://www.ics.uci.edu/~cliu1/8724" >8724 of Fudan University</A><LI><!WA53><A HREF="http://www.ics.uci.edu/~cliu1/9124G" >9124G of Fudan University</A><LI><!WA54><A HREF="http://www.ics.uci.edu/~cliu1/ucichinese" >UCI Chinese</A><LI><!WA55><A HREF="http://www.cs.msstate.edu/~ljin/fdselist.html" >Academic Siblings</a></ul></td><TD VALIGN=TOP><UL><LI><!WA56><A HREF="http://www.ics.uci.edu/~cliu1/download" >Download</a><LI><!WA57><A HREF="http://www.ics.uci.edu/~cliu1/resume.html" >Resume</a><LI><!WA58><A HREF="http://www.ics.uci.edu/~cliu1/interests.html" >Personal Interests</A><BR><FONT SIZE=-1><!WA59><A HREF="http://www.usatoday.com/">USA Today</A>, <!WA60><A HREF="http://www-lj.eb.com/mw/">Webster Dictionary</A></UL></TD></TR></TABLE> </CENTER> <P><P ALIGN=CENTER><!WA61><IMG SRC="http://www.ics.uci.edu/~cliu1/crimson_line.gif" ALT="___________________________________"></P><P><H5><!WA62><IMG SRC="http://www.ics.uci.edu/~cliu1/emailing.gif">Please send comments to: <!WA63><a href="mailto:cliu1@ics.uci.edu">cliu1@ics.uci.edu</A></H5></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -