Начиная с 1994 года основным направлением исследований в отделе стало создание формальных методов разработки программного обеспечения и их практическое применение индустриальных заявлений (применений). Исследования, объединившие усилия Института системного программирования РАН и Института прикладной математики им. М.В.Келдыша РАН, базируются на разработках программного обеспечения, выполненных для Советского Центра управления полетами и для бортовой ЭВМ космического корабля многоразового использования "Буран". Был разработан новый подход к созданию формальных спецификаций наследуемых систем. Он объединил Венский метод и RAISE-технологию разработки программного обеспечения и соответствующий язык спецификаций программ RSL. Преследовалась также цель автоматической генерации тестов разрабатываемых программ. Ключевые слова Операционные системы, спецификации программных комплексов, тестирование программных комплексов

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад