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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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
"Sobre este título" puede pertenecer a otra edición de este libro.