Интегри́рованная среда́ разрабо́тки, ИСP , также единая среда разработки, ЕСР — комплекс программных средств, используемый программистами для разработки программного обеспечения (ПО).
Разрабо́тка програ́ммного обеспе́чения — деятельность по созданию нового программного обеспечения.
UML — язык графического описания для объектного моделирования в области разработки программного обеспечения, для моделирования бизнес-процессов, системного проектирования и отображения организационных структур.
Eclipse — свободная интегрированная среда разработки модульных кроссплатформенных приложений. Развивается и поддерживается Eclipse Foundation.
Rational Unified Process (RUP) — методология разработки программного обеспечения, созданная компанией Rational Software.
Аспектно-ориентированная разработка программного обеспечения — развивающаяся технология разработки программного обеспечения, которая ищет новые способы разбиения на модули программного обеспечения, чтобы изолировать вторичные или вспомогательные функции от бизнес-логики основной программы. АОРПО позволяет реализовать отдельно различные проблемы и автоматически объединять их в работоспособные системы.
Процесс разработки программного обеспечения — процесс, посредством которого потребности пользователей преобразуются в программный продукт. Процесс разработки программного обеспечения является составной частью программной инженерии.
Архитектура, управляемая моделью — создаваемая консорциумом OMG разновидность концепции «Разработка, управляемая моделями»: модельно-ориентированного подхода к разработке программного обеспечения. Его суть состоит в построении абстрактной метамодели управления и обмена метаданными (моделями) и задании способов её трансформации в поддерживаемые технологии программирования. Создание метамодели определяется технологией моделирования MOF, являющейся частью концепции MDA. Название концепции не совсем удачно, так как она определяет вовсе не архитектуру а именно метод разработки программного обеспечения.
Архитектура программного обеспечения — совокупность важнейших решений об организации программной системы. Архитектура включает:
- выбор структурных элементов и их интерфейсов, с помощью которых составлена система, а также их поведения в рамках сотрудничества структурных элементов;
- соединение выбранных элементов структуры и поведения во всё более крупные системы;
- архитектурный стиль, который направляет всю организацию — все элементы, их интерфейсы, их сотрудничество и их соединение.
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
XMI — стандарт OMG для обмена метаданными с помощью языка XML. Может использоваться для любых метаданных, если их метамодель может быть выражена с помощью MOF. Наиболее часто XMI применяется как формат обмена UML-моделями. Информатик не мог раньше импортировать UML-модель из одного инструмента UML-моделирования в другой — из-за различий в определении синтаксиса и семантики элементов языка.
Реинжиниринг программного обеспечения — процесс создания новой функциональности или устранения ошибок, путём революционного изменения, но используя уже имеющееся в эксплуатации программное обеспечение. Процесс реинжиниринга описан Чиковски и Кроссом в их труде 1990 года, как «The examination and alteration of a system to reconstitute it in a new form». Выражаясь менее формально, реинжиниринг является изменением системы программного обеспечения после проведения обратного инжиниринга.
IBM Rational Software Architect, (RSA) — разработанная компанией Rational Software, среда разработки и моделирования, использующая Unified Modeling Language (UML) для проектирования архитектуры приложений на C++ и Java 2 Enterprise Edition (J2EE), а также веб-сервисов. RSA основана на открытой среде разработки Eclipse, и включает в себя возможности архитектурного анализа кода, MDD, и UML для создания устойчивых приложений и веб-служб.
COnstructive COst MOdel – это алгоритмическая модель оценки стоимости разработки программного обеспечения, разработанная Барри Боэмом. Модель использует простую формулу регрессии с параметрами, определенными из данных, собранных по ряду проектов.
Ивар Ялмар Якобсон — шведский учёный в области информатики, внёсший вклад в развитие UML, RUP, аспектно-ориентированного программирования.
Предметно-ориентированное проектирование — набор принципов и схем, направленных на создание оптимальных систем объектов. Сводится к созданию программных абстракций, которые называются моделями предметных областей. В эти модели входит бизнес-логика, устанавливающая связь между реальными условиями области применения продукта и кодом.
Метамодель в информатике — модель, описывающая другую модель; транзитивное отношение между двумя моделям.
Мета-объектное средство — это стандарт для разработки, управляемой моделями, разработанный OMG.
Программная археология — дисциплина, изучающая плохо документированное или недокументированное устаревшее программное обеспечение, в целях его сопровождения. Компьютерная археология включает в себя обратную разработку программ, использование множества инструментов и процессов для извлечения и понимания структуры программы и восстановления замысла разработчиков. Компьютерная археология может обнаружить проблемы, связанные с плохой архитектурой приложения и неиспользуемым кодом. Термин используется уже несколько десятилетий и отражает следующую метафору: программист, читающий устаревшее программное обеспечение, ощущает себя так же, как и археолог, исследующий руины древней цивилизации.
Институт программной инженерии Карнеги-Меллон - американский научно-исследовательский центр со штаб-квартирой в Питтсбурге, штат Пенсильвания, США. Ведет деятельность в сфере кибербезопасности, проверки качества программного обеспечения, программной инженерии, приобретении ПО, и других аспектов, имеющих решающее значение для Министерства обороны США