МЕТОДИЧЕСКИЙ ПОДХОД К ФОРМАЛИЗОВАННОМУ СОСТАВЛЕНИЮ ТЕХНИЧЕСКИХ ЗАКЛЮЧЕНИЙ ПРИ РАССЛЕДОВАНИИ НАРУШЕНИЙ БЕЗОПАСНОСТИ ДВИЖЕНИЯ
В статье рассматриваются вопросы автоматизации написания технических заключений при расследовании нарушений безопасности движения на железнодорожном транспорте с применением формализованного описания. Предложен схематичный алгоритм формализованного написания технического заключения.