formal-methods

4зной

2ответ

Хотите инструмент для получения линейной спецификации временной логики из диаграммы последовательности UML 2.0

Я работаю над проверкой совместимости модели программного обеспечения. для этого мне нужно написать линейную временную логику для диаграммы последовательности UML 2.0. если у какого-либо органа есть к

11зной

5ответ

Каков наилучший способ определения инварианта цикла?

При использовании формальных аспектов для создания некоторого кода существует общий метод определения инварианта цикла или он будет полностью отличаться в зависимости от проблемы?

15зной

3ответ

Опыт использования сплавов в реальных проектах

Меня интересовали формальные методы в течение некоторого времени. Я использовал формальные методы, чтобы рассуждать о некоторых очень конкретных подзонах из нескольких проектов, над которыми я работал

5зной

3ответ

Разбиение теста на набор меньших тестов

Я хочу, чтобы иметь возможность разделить большой тест на более мелкие тесты, чтобы при проведении меньших тестов они означали, что большой тест также пройдет (поэтому нет причин для запуска оригиналь

20зной

7ответ

Преподавание программирования и формальных методов

Вот какой-то странный вопрос. Я в процессе написания книги по обучению программированию с использованием формальных методов, и я собираюсь настроить ее на людей с некоторым опытом программирования. Ид

4зной

6ответ

Как узнать о формальном нисходящем подходе к архитектуре программного обеспечения?

Я разработчик программного обеспечения, заинтересованный в поиске информации. В настоящее время я работаю над проектом 3-поисковой и я ОЧЕНЬ разочарование по поводу количества шаблонного кода, который

4зной

8ответ

Должен ли я использовать формальные методы для моего программного проекта?

Наш клиент хочет, чтобы мы создали интернет-приложение, основанное на Интернете, для сбора требований к программному обеспечению. В основном это инструмент для веб-приложений, который следует за конкр

5зной

5ответ

Что вы испытываете при проверке модели программного обеспечения?

Какие типы применений вы использовали model checking? Какой инструмент проверки модели вы использовали? Как бы вы суммировали свой опыт с техникой, в частности, оценивая ее эффективность в предоставле