Mikhail Auguston

Associate Professor
Computer Science Department
Naval Postgraduate School
833 Dyer Rd. Code CS, Spanagel Hall Room 534B
Monterey, CA 93943-5123, USA

Phone: 1-831-656-2607
Fax: 1-831-656-2814
email: maugusto@nps.edu

Disclaimer

Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense

Research Projects

Automated test generation for reactive and real time systems based on environment models and event grammars

Publications

Powerpoint presentation for Hewlett Packard Research Day, August 19, 2005, outlining the approach based on event grammars (ppt file)

Debugging Automation, Assertion Languages.

Here is a link to the Algorithmic and Automatic Debugging Home Page

Publications

Programming Language Design and Implementation.

One of the results was the design of compiler writing language RIGAL.
RIGAL Home Page is maintained at the University of Linkoping, Sweden.

Publications

Visual Programming Languages.

Development of the experimental visual programming language V.

Publications

UniFrame - Unified Meta-Component Model for Distributed Systems.

This project is a collaboration among:
Indiana University Purdue University Indianapolis (IUPUI)
University of Alabama at Birmingham (UAB)
Naval Postgraduate School (NPS)

UniFrame web site at IUPUI contains publications related to the project

Software Decoys.

Publications

Vitae

My old web page at NMSU

Events

2nd Workshop on Advances in Model-based Software Testing (A-MOST'06)
co-located with the 17th IEEE International Symposium on Software Reliability Engineering ISSRE 2006
November 6-7, 2006 - Raleigh, North Carolina, USA http://www.nps.navy.mil/cs/auguston/A-MOST%202006.html

First International Workshop on Evaluation and Evolution of Component Composition (EECC2006).
http://www.engr.sjsu.edu/conferences/eecc06/
Co-located with the SEKE06 http://www.ksi.edu/seke/seke06.html

Professional Affiliations

Association for Computing Machinery
- Special Interest Group on Programming Languages
- Special Interest Group on Software Engineering
Institute of Electrical and Electronic Engineers
- Computer Society
- Technical Council on Software Engineering (TCSE)

Courses Taught

CS3771 “C++ as a second language”
CS2971 “Introduction in OO Programming”
SW4500 “Introduction to Formal Methods in Software Engineering”
SW4583 “Principles of Software Design”
CS3113 “Introduction to Compiler Writing”

Seminars for Software Engineering program resident and DL PhD students:

SW4935 “Software Engineering Dissertation Proposal Preparation”
SW4936 “Seminar on Solving Software Engineering Research Problems”,

I am a course coordinator for

CS3113 “Introduction to Compiler Writing”
SW4500 “Introduction to Formal Methods in Software Engineering”