Dr. Constance L. Heitmeyer
Short Biography
Constance Heitmeyer heads the Software Engineering Section of the Naval
Research Laboratory's Center for High Assurance Computer Systems. In
1996, she was coeditor of a book entitled "Formal Methods for Real-Time
Computing." She also served as Program Chair for the COMPASS '96
Conference on Assured Computing and General Chair for the 1997
International Symposium on Requirements Engineering. She is a member of
the Editorial Board of the Real-Time Systems Journal and currently a
Guest Editor, along with David Parnas, of a special issue on tabular
representations of the Kluwer journal, Formal Methods in System
Design. Her interests are in software requirements specification,
real-time computing, formal methods, and the transfer of research
results to practical systems.