книги Наука, техника, медицина Техника ГОСТы, стандарты

SofCheck Inspector

Код 2478295

  • ISBN: 978-5-5121-5011-5

Нет в продаже

Аннотация к книге "SofCheck Inspector"

High Quality Content by WIKIPEDIA articles! The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws , race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. The SofCheck Inspector is produced by SofCheck, Inc., a software product company in Burlington, MA.

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5121-5011-5

Книга находится в категориях

Компьютеры и Интернет

Вместе с этой книгой покупают

Просмотренные товары