Connie Heitmeyer heads the Software Engineering Section of the Naval
Research Laboratory's Center for High Assurance Computer Systems.
Previously, she was a visiting scientist at the SACLANT Research Centre
in La Spezia, Italy, and a professor at Florida Atlantic University.
Her current research is in requirements specification, formal methods,
CASE tools supporting formal methods, and real-time computing.

Ms. Heitmeyer heads NRL's project in Software Requirements which is 
developing a formal requirements model and formal techniques and 
software tools for specifying and analyzing requirements based on the 
SCR method.  Ms. Heitmeyer holds an M.A. in mathematics from the 
University of Michigan. She recently published a new book entitled 
"Formal Methods for Real-Time Computing."


Constance Heitmeyer
Code 5546
Naval Research Laboratory
Washington, DC 20375
scr@itd.nrl.navy.mil