http:^^www.cs.nmsu.edu^~mikau^
来自「This data set contains WWW-pages collect」· EDU^~MIKAU^ 代码 · 共 251 行
EDU^~MIKAU^
251 行
Date: Monday, 25-Nov-96 21:53:39 GMTServer: NCSA/1.1MIME-version: 1.0Content-type: text/htmlLast-modified: Friday, 01-Nov-96 23:48:47 GMT<html><head><title>Mikhail Auguston's home page</title></head><body background=cn.jpg><h1>Mikhail Auguston </h1>Associate Professor / Ph.D. <!WA0><A href="http://www.mii.lu.lv/LU/lu.html"> University of Latvia</A><br><blockquote> Office: SH 144<br> Phone: (505)- 646-5286<br> Fax: (505)- 646-1002<br> E-Mail: mikau@cs.nmsu.edu ( click<!WA1><A HREF="file://localhost/home/sa1/mikau/public_html/mail.html"> here</A> to send a message)<br></blockquote><p>Surface mail address: <p><blockquote> <!WA2><A HREF="http://www.cs.nmsu.edu/ ">Computer Science Department </a><br> <!WA3><A HREF="http://www.nmsu.edu/ ">New Mexico State University </a><br> <!WA4><A HREF="http://www.yahoo.com/Regional/U_S__States/New_Mexico/Las_Cruces/">Las Cruces </a>, NM 88003, USA<br></blockquote><hr>Disclaimer: <i>The following pages are notofficial New Mexico State University pages. Comments on these pages should bedirected to the page author.</i><hr><h2>Research Areas</h2><ul><p><li>Programming Languages Design and Implementation<br>One of the recent results in this area was the design of compiler writing language RIGAL.<br> <!WA5><A href="http://www.ida.liu.se/labs/pelab/members/vaden/rigal.html"><b>RIGAL Home Page </b></A> is maintained by Vadim Engelson at University of Linkoping, Sweden.<p><li>Testing and Debugging Automation, Assertion Languages.<br>Here is a link to the <!WA6><A HREF="http://www.cs.nmsu.edu/~mikau/aadebug.html "><b> Algorithmic and Automatic Debugging Home Page.</b></a> Any inputs and suggestions are very welcome.<p><li>Visual Programming Languages. <br>First draft of the experimental visual programming language V in PostScript can be downloaded <!WA7><A HREF="http://www.cs.nmsu.edu/~mikau/CSTR9611.ps"> <b>here.</b> </A><p><li>Software Engineering</ul><hr><h2> Seminar on Programming Environments and Tools<br></h2>is being held on Fridays, 1.30 - 2.30 PM, Science Hall, Sh 124.<br>If you are interested to be on the mailing list, please,send a message <!WA8><A HREF="file://localhost/sa1/mikau/public_html/mail.html"> here</A>. <br>Look for the <!WA9><a href="http://www.cs.nmsu.edu/~mikau/seminar-records.html">list of talks </a> presented at the seminar. <hr><h2>Recent Publications</h2><ol><li>The V experimental visual programming language, <!WA10><A HREF="http://www.cs.nmsu.edu/~mikau/CSTR9611.ps"> Technical Report NMSU-CSTR-9611, October 1996, pp.38. </A>.<li> A Debugger and Assertion Checker for the Awk Programming Language, in the Proceedings of the International Conference "Software Engineering: Education & Practice", Dunedin, New Zealand, January 24-27, 1996, pp. 242-249, IEEE Computer Society Press, 1996. <br>Coauthors: Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad<li> "PARFORMAN - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.", <br>to appear in the International Journal of Software Engineering and Knowledge Engineering, vol. 6, #4, 1996<br>Coauthor: Peter Fritzson<li> Program Behavior Model Based on Event Grammar and its Application for Debugging Automation, in the Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95, Saint-Malo, France, May 22-24, 1995.pp.277-291<br> Look for <!WA11><A HREF="http://www.cs.nmsu.edu/~mikau/aadebug95a.ps">PostScript version </A> of the paper.<li> AUI - the Debugger and Assertion Checker for the Awk Programming Language, in the Proceedings of 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95, Saint-Malo, France, May 22-24, 1995.pp.309-310<br> Look for <!WA12><A HREF="http://www.cs.nmsu.edu/~mikau/aadebug95b.ps">PostScript version </A> of the paper. <br>Coauthors: Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad<li> "Using Assertions in Declarative and Operational Models for Automated Debugging", Journal of Systems and Software, Vol 25(3):pp.223-232, June 1994, <br>Coauthors: Peter Fritzson, Nahid Shahmehri<li> "A Language for Debugging Automation", in Proceedings of 6th International Conference on Software Engineering and Knowledge Engineering, SEKE'94, Jurmala, June 22-24, 1994, pp.108-115 (also as a <!WA13><A href="http://www.cs.nmsu.edu/~mikau/TR-94-04.ps">Technical Report NMSU-CSTR-9404, March 1994 </A>)<li> "The Programming Language RIGAL, a Tool for Compiler Writing", in Proceedings of Nordic Workshop on Programming Environment Research, Lund, June 1-3, 1994, pp.167-176, <br>Coauthor: Vadim Engelson<li> "A Survey of Automated Debugging", Technical Report NMSU-CSTR-9408, May 1994, <br>Coauthor: H.Gholoom<li> "A Visual Miranda Machine", in Proceedings of the 5th International Conference on Software Engineering Education, Dunedin, New Zealand, November 21-23, 1994, IEEE Computer Society Press, pp.198-203<br>Coauthor: J. Reinfelds<li> "An Attribute Grammar for Framemaker Internal Document Representation", Technical Report NMSU-CSTR-9320, December 1993, <br>Coauthors: R.Thota, M.Mamnani, J.Reinfelds<li> PARFORMAN - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. in Proc. of the Euromicro Workshop on Parallel and Distributed Processing, Gran Canaria, Jan 27-29, 1993. IEEE Computer Society Press.<br>Coauthor: Peter Fritzson.<br>Also available as a <!WA14><A href="ftp://ftp.cs.nmsu.edu/pub/techreports/TR-94-06.ps.Z"> Technical Report NMSU-CSTR-9406, </A> April 1994<li> "Using Assertions in Declarative and Operational Models for Automated Debugging", In Proc. of the fifth International Conference on Software Engineering & its Applications, Toulouse, Dec 7-11, 1992.<br>Coauthors: Peter Fritzson, Nahid Shahmehri<li> "RIGAL - a programming language for compiler writing", Lecture Notes in Computer Science, Springer Verlag, vol.502, 1991, pp.529-564.<li>"FORMAN - program formal annotation language", in Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Herclia, May 27-28, IEEE Computer Press, 1991, pp.149-154 <li> " Programming language RIGAL as a compiler writing tool", ACM SIGPLAN Notices, December 1990, vol.25, #12, pp.61-69<li> SDL tools for rapid prototyping and testing, In: SDL'89: Language at work, North Holland, 1989. <br> Coauthors: Barzdin J., Kalnins A.,</ol><h2>Books</h2><ul><li> Auguston M., Balodis R., Barzdin J., Ikaunieks E., Kalnins A., Programming in the PL/1, Moscow, "Statistika", 1979, 270 pages (in Russian).<li> Auguston M., Balodis R., Barzdin J., Ikaunieks E., Ikauniece B., Kalnins A., Klimans L., Podnieks K., Programming in the PL/1, Moscow, "Finansy i Statistika", 1984, 2nd edition, 327 pages (in Russian).<li> Auguston M.,Balodis R.,Barzdin J.,Ikaunieks E.,Ikauniece B.,Kalnins A.,Klimans L.,Podnieks K. Programowanie w jezyku PL/1 OS ES, Warszawa, PWN, 1988, 310 pages (in Polish).</ul><hr><h2>Professional Services and Affiliations</h2><ul><li>Association for Computing Machinery<ul><li>Special Interest Group on Programming Languages <li>Special Interest Group on Software Engineering</ul><br><li>Institute of Electrical and Electronic Engineers<ul><li>Computer Society<li>Technical Council on Software Engineering (TCSE)<li>Software Engineering Standards Committee</ul><br><li>Program Committee member, <ul><li>Nordic Workshop on Programming Environment Research, Lund, Sweden, June 1-3, 1994<li>Nordic Workshop on Programming Environment Research, Aalborg, Denmark, May 29-31, 1996</ul><br><li>Referee <ul><li> 6th International Conference on Computing and Information,Peterbororugh, Ontario, Canada, May 26-28, 1994<li>International Symposium on Logic Programming, 1994<li>12th International Conference on Data Engineering, New Orleans, Louisiana, USA, Feb. 26 - March 1, 1996<li> 8th International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, NE, USA, June 10-12, 1996</ul></ul><hr><h2>Courses Taught</h2><ul><li>CS177 Programming in C++<li>CS272 Data Structures<li>CS370 Operational Semantics<li>CS371 Software Development<li>CS479/CS579 Systems Programming with Ada <li>CS581 Compiler Construction</ul><hr>Last updated: October 21, 1996<p></body></html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?