Requirements Engineering
Researched Formal Methods to various degrees:
Z
VDM
Evolving Algebras of Gurevich
PVS of SRI
RAISE
RMSL of Leveson
CoRE from SEI
In depth research into Evolving Algebras (aka
Gurevitch Abstract State Machines Method) to determine
methodology and prospects for technology transfer.
Wrote working papers:
Evolving Algebras Semi-formal Method for
Requirements Engineeirng applied to an
Agent-based Listserv Example