Issue No. 06 - November/December (1999 vol. 1)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/5992.805136
By considering a simplified version of a pricing model recently implemented at Merrill Lynch, the authors demonstrate the power of software synthesis technology and examine some of the issues associated with integrating synthesized model code into a production system.
O. Lubovitsky et al., "Implementing Option-Pricing Models Using Software Synthesis," in Computing in Science & Engineering, vol. 1, no. , pp. 54-64, 1999.