Методы и средства инженерии программного обеспечения

       

МЕТОДЫ ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ


В последние годы наибольшее развитие и использование получил объектно–ориентированный, компонентный, сервисно–ориентированный подходы. Для их поддержки Были разработаны  и инструментальные  средства  (Rational Rose, Rational Software, RUP, Demral , OОram и др.). Инструменты  рассматриваются в теме 10.

Эти подходы составляют основу методам проектирования ПС, которые практически применяются разными разработчиками, использующими подходящие для своих целей возможности этих методов. Получили дальнейшее развитие  теоретические методы  (алгебраическое, алгеброалгоритмическое, композиционное и др.), которые основываются на математических, алгебраических и  логико–алгорит­мических подходах и методах формального построения и доказательства программ.

В данной главе представлено описание основ методов  систематического и  отдельных методов теоретического программирования для ознакомления студентов с теорией и практикой проектирования ПС.



Содержание раздела