📄 http:^^www.csc.uvic.ca^~dpopova^
字号:
Date: Tue, 26 Nov 1996 16:25:10 GMT
Server: Apache/1.0.5
Content-type: text/html
<HTML><HEAD><TITLE>Diana Popova's Home Page</TITLE><h2><!WA0><A HREF="http://www.csc.uvic.ca/~dpopova/myself.html">Diana Popova</A>'s Home Page</h2></HEAD><BODY>Welcome to Diana Popova's home page.<p>If you got here by another route, then you may want to use the University of Victoria's<!WA1><a href=http://www.uvic.ca/>information server</a> as starting point for local exploration.<p> <P></P><h3>Research Interests</h3><ul><li>Systems Engineering<li>Networks (protocols)<li>Architecture(verification of systems)<li>Systems Software (software engineering)</ul><P></P><h3>Research Topic</h3>Building a translator from CSP language to C++.<li><P></P><h4>Description of Research</h4>One of the useful formalisms for designing concurrent real-time systems is the process algebra called CSP, or Communicating Sequential Processes. CSP statements can be used to model a system's control and data flow in an intuitive way. These statements can be executed and debugged until it is clear that the desired behaviour has been accurately captured. Moreover, CSP is an algebra with precise rules, so it is possible to prove certain properties (such as the absense of deadlocks) of the design. The task of the translator is to automatically produce compilable code from CSP statements. If the CSP statements have been properly verified, then such code can have the advantage of being "correct by construction". This goal can be accomplished by devising a technique for translating from CSP to C++. More details can be seen in the <!WA2><a href="http://www.csc.uvic.ca/~dpopova/thesis.html">Thesis Outline</a> page. <P></P><h3>Contact Information</h3>Name: Diana Popova<p>University: University of Victoria<p>Department: Computer Science<p>Address: 104 -- 3861 Finnerty Road, Victoria, BC V8N 6K8<p>Telephone: 604-472-2629<p>Fax: 604-472-2629<p>E-mail: dpopova@sanjuan.uvic.ca<p><P></P><h3>Career Interests and Goals</h3>Computer Systems Administration, Software Development<P></P><h3>Skills</h3>Computer programmer in C, C++; Electronics engineer; Technical translator from Russian.<p><P></P><h3>Work Experience</h3>Jan 92 - Nov 93 Electronics Development Engineer, SIFS, Moscow, Russia<p>Jan 89 - Dec 91 Electronics Adjustment Engineer, LITE, Moscow, USSR<p>Nov 76 - Dec 88 Design Engineer, ZEW, Moscow Region, USSR<p><P></P></BODY></HTML> ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -