02.12.1997 Мнения Фирма Time-Rover выпустила средство разработки Temporal-Rover, позволяющее описать поведение программы с помощью формальных методов временной логики (temporal logic) и тестировать программы на основе этого описания. Продукт Temporal-Rover очень полезен, так как после отладки гарантируется заданное поведение программы. Пока Temporal-Rover поддерживает разработку ПО на Java, в дальнейшем будут выпущены версии для Си и Си++. Неполную версию программы можно переписать с ...
читать далее.