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, knowledge-based systems, modeling techniques, software support leverage for formal methods, database applications, performance evaluation and optimization, software development tools, software process improvements, multi-paradigm programming, and software security and safety. No index. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
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, knowledge-based systems, modeling techniques, softwar
"About this title" may belong to another edition of this title.