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















