http:^^www.eecs.tulane.edu:80^www^belkhouche^

来自「This data set contains WWW-pages collect」· EDU:80^WWW^BELKHOUCHE^ 代码 · 共 86 行

Date: Monday, 25-Nov-96 22:51:37 GMT
Server: NCSA/1.3
MIME-version: 1.0
Content-type: text/html
Last-modified: Sunday, 03-Nov-96 22:54:44 GMT
Content-length: 2068

<TITLE>Boumediene Belkhouche's Home Page</TITLE>

<!WA0><IMG ALIGN=top SRC="http://www.eecs.tulane.edu:80/www/Belkhouche/bb2.gif">
<H2>Boumediene Belkhouche</H2>

<address>
Associate Professor <br>
Computer Science and Engineering <br>
Tulane University <br>
New Orleans, LA  70118
</address>
<p>

Research Interests: Programming Languages: Design and Implementation,
Formal Semantics of Concurrency, Evaluation. Software Engineering: 
Specification Languages, Rapid Prototyping. Requirements Engineering:
Analysis, Object-Oriented. Design: Object-Oriented, Architectural Styles.<p>


<!WA1><A
href = "ftp://juno.cs.tulane.edu/pub/bb"
> Some Publications </A>

<UL>
<LI> CS 362/673:
<!WA2><A 
href = "ftp://juno.cs.tulane.edu/pub/bb/t1sol.ps"
>Theory: Solutions to test 1 </A>


<LI> Object-Oriented Analysis: <!WA3><A 
href = "ftp://juno.cs.tulane.edu/pub/bb/oora.ps"
> Object-oriented Analysis of Informal Software Requirements
</A>
<LI> Object-Oriented Analysis: <!WA4><A 
href = "ftp://juno.cs.tulane.edu/pub/bb/oorakb.ps"
> Knowledge-base Object-oriented Analysis
</A>
<LI> Semantics of Concurrency: 
<!WA5><A href = "ftp://juno.cs.tulane.edu/pub/bb/semantics1.ps"
> Branching Time Semantics of the Ada Rendezvous
</A>
<LI> Semantics of Concurrency: 
<!WA6><A href = "ftp://juno.cs.tulane.edu/pub/bb/rsp.ps"
> Denotational and Operational Semantics the Ada Rendezvous
</A>
<LI> Prototyping: 
<!WA7><A href = "ftp://juno.cs.tulane.edu/pub/bb/prototyping.ps"
> Formal Prototyping of Concurrent Systems 
</A>
<LI> Prototyping: 
<!WA8><A href = "ftp://juno.cs.tulane.edu/pub/bb/adt-proto.ps"
> Prototyping of Abstract Data Types
</A>
<LI> Language Evaluation: 
<!WA9><A href = "ftp://juno.cs.tulane.edu/pub/bb/ada-mod.ps"
> Comparison of Ada and Modula-2 
</A>
<LI> Operational Semantics: 
<!WA10><A href = "ftp://juno.cs.tulane.edu/pub/bb/contour.ps"
> Contour Model Semantics of Pascal 
</A>
<LI> Algorithm Analysis: 
<!WA11><A href = "ftp://juno.cs.tulane.edu/pub/bb/minimalh.ps"
> Minimal Height Trees 
</A>
</UL>


<ADDRESS>[e-mail]
</ADDRESS>


<!WA12><A href = "http://www.neworleans.net"> NEW ORLEANS
</A><P>


<!WA13><A href = "http://www.smart.net/~ibrahims/"> Islamic Sources</A>.