Tools and Methods of Program Analysis
-15%
portes grátis
Tools and Methods of Program Analysis
4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir; Scedrov, Andre; Zakharov, Victor
Springer International Publishing AG
12/2017
209
Mole
Inglês
9783319717333
15 a 20 dias
454
Descrição não disponível.
Software test automation.- Static program analysis.- Verification.- Dynamic methods of program analysis.- Testing and analysis of parallel and distributed systems.- Testing and analysis of high-load and high-availability systems.- Analysis and verification of hardware and software systems.- Methods of building quality software.- Tools for software analysis, testing and verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer architecture;computer software selection and evaluation;distributed computer systems;High-Performance Computing (HPC);formal methods;model checking;object-oriented programming;program analysis;program compilers;programming languages;semantics;software engineering;static analysis;verification
Software test automation.- Static program analysis.- Verification.- Dynamic methods of program analysis.- Testing and analysis of parallel and distributed systems.- Testing and analysis of high-load and high-availability systems.- Analysis and verification of hardware and software systems.- Methods of building quality software.- Tools for software analysis, testing and verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer architecture;computer software selection and evaluation;distributed computer systems;High-Performance Computing (HPC);formal methods;model checking;object-oriented programming;program analysis;program compilers;programming languages;semantics;software engineering;static analysis;verification
