bgc@security.UUCP (Billy G. Claybrook) (08/29/83)
RESEARCH PROJECT TO DESIGN AND IMPLEMENT A FORMAL SPECIFICATION LANGUAGE
AND A PROGRAM DESIGN LANGUAGE FOR SPECIFYING SYSTEMS TO BE IMPLEMENTED IN ADA
The project involves designing a language, ABC, that can be used as a
formal specification language and as a program design language for systems to
be implemented in Ada. In addition to designing ABC, we will develop a syntax
checker for ABC (probably using LEX and YACC), demonstrate that we can do
specification-code and code-specification correlations, and demonstrate that
we can do design verification on formal specifications written in ABC.
Experience: MS/Ph.D. in Computer Science with good mathematical
background; familiarity with language design and
translator construction and/or be familiar with formal
specification languages and program verification.
Please Contact Dr. Billy G. Claybrook
The MITRE Corporation
P. O. Box 208
Bedford, Massachusetts 01730
617-271-3046
{allegra,ihnp4,decvax,utzoo}!linus!security!bgc