edwards@cod.NOSC.MIL (Sheridan H. Edwards) (03/02/88)
I am currently interested in what research is currently
being conducted in the areas of:
-using mathematical knowledge in formal software
development
-specifications using formal mathematics
What I have in mind is along the ideas presented by I.J.
Hayes at the first Australian Software Engineering Conference
(Canberra, 1986) or concepts like those in "Using Mathematical
Knowledge in Formal Software Development" by L. A. Wallen (who
is in the AI department at University of Edinburgh).
Specifically, I am trying to come up with a formal and
hopefully somewhat rigorous method of describing Command and
Control systems. I am not interested in stuff like PDLs (yet,
anyway), but a higher level description (suitable for A-specs and
PPSs). E-mail me any/all information. If there is enough
response I will summarize and post.
-Thanks much
-Dan Edwards
edwards@nosc.mil