21
голосов
7ответов
2805 просмотров

Обучение программированию и формальным методам

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

4
голосов
8ответов
1802 просмотров

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

Наш клиент хочет, чтобы мы создали полнофункциональное веб-приложение для сбора требований к программному обеспечению. По сути, это веб-инструмент для кейсов, который следует определенному процессу получения требований от заинтересованных сторон. Я руководитель проекта, и мы все еще находимся на...

10
голосов
6ответов
807 просмотров

Формальные методы и предприятия

Итак ... Я обучаю формальным методам разработки программного обеспечения. Я также преподаю «гибкие методологии». Большинство людей думают, что это противоречие. Я думаю, что это имеет большой смысл ... Я также работаю в компании, где нам действительно нужно делать вещи :) Хотя я могу применят...

6
голосов
5ответов
1729 просмотров

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

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