Proceedings The Nineteenth Annual International Computer Software & Applications Conference (COMPSAC '95) : August 9-11, 1995, Dallas, Texas

COMPSAC is a forum for presentation and discussion of problems in the specification, design, implementation, and evaluation of software and applications. The proceedings of COMPSAC'95 comprise 58 technical papers and three keynote addresses. Technical sessions include advances in formal methods, kno