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

Я могу открывать, редактировать и развертывать существующие проекты SSIS в Visual Studio 2019 (16.6.0), но не вижу служб интеграции SQL Server или связанных элементов в списке доступных шаблонов при добавлении нового проекта. Я не знаю, почему это...