Using modern mathematics as an FOSD modeling language.

Don S. Batory

Browse the full GPCE paper archive.