|
52 1. Разработать модели процесса производства программного обеспечения, позволяющие исследовать его статические и динамические свойства; 2. Разработать методы решения задач измерения, оценивания и прослеживания плана программного проекта с использованием предложенных формальных моделей. Такие методы должны обеспечить автоматическое вычисление мер плана программного проекта и поиска дефектов в нём на основе его формальной модели и оценивание плана по заданным критериям. 3. Найти и обосновать признак минимального уровня детализации функциональной модели, обеспечивающий необходимый и достаточный уровень ее детализации; 4. Сформулировать критерии верификации полноты состава информационных объектов модели предметной области и состав исходных данных, необходимый для их применения; 5. Разработать метод выделения ограниченного состава информационных сущностей, позволяющего ограничить сложность МД при сохранении ее логической целостности; 6. Разработать формализованную, но в тоже время удобную и гибкую в применении технологию оценки трудоемкости корпоративной программной системы. |
37 a. Найти и обосновать критерий глубины детализации функциональной модели, обеспечивающий необходимый и достаточный уровень ее детализации; b. Сформулировать критерии верификации полноты состава информационных объектов модели предметной области и состав исходных данных, необходимый для их применения; c. Разработать метод выявления ограниченного состава информационных сущностей, позволяющего ограничить размерность КМД при сохранении ее логической целостности. Таким образом, целью диссертационной работы является разработка научно обоснованной технологии коллективного моделирования предметной области большой размерности при создании программного обеспечения информационных систем. Для достижения данной цели в диссертационной работе решаются поставленные выше задачи. |