Создан инструмент, позволяющий обнаруживать баги прямо во время написания кода

В рамках исследования, опубликованного в Journal of Object Technology, исследователи разработали новую технику проверки для UML / OCL модели, решающие общую проблему. В новом методе применяются дополнительные методы проверки, в которых упрощаются проверки модели всякий раз, когда вносятся изменения. Вместо того, чтобы проверять модель только в конце процесса, как это имеет место в настоящее время, это позволяет проверять ее во время разработки без необходимости начинать с нуля, что облегчает раннее обнаружение ошибок.