Альтран практика

Altran UK (ранее известная как Altran Praxis , Praxis High Integrity Systems , Praxis Critical Systems , Altran Xype , Xype и Altran Technologies ) является подразделением материнской компании Altran . Altran Praxis — британская компания-разработчик программного обеспечения , специализирующаяся на критических системах . ^[1] Эта роль продолжается под эгидой высокотехнологичных инженерно-консультационных услуг, предоставляемых остальной частью группы Altran.

Подразделение, ранее известное как Praxis (специалисты по критическим системам), базируется в Саутгейте , Бат , Англия , недалеко от железнодорожной станции Бат-Спа , а также имеет офисы в Лондоне , Лафборо , Париже , Софии-Антиполисе и Бангалоре .

Altran UK в целом имеет офисы в Бате , Бристоле , Лондоне , Лафборо , Манчестере , Слау и Ковентри .

История

Компания Praxis Systems Limited была основана Мартином Томасом и Дэвидом Бином в 1983 году:она была зарегистрирована 1 июня 1983 года и начала свою деятельность 1 июля 1983 года. 28 июня 1985 года она стала публичной компанией с ограниченной ответственностью Praxis Systems plc .До 1988 года компания Praxis почти полностью принадлежала ее сотрудникам.В 1988 году Praxis получила венчурное финансирование, чтобы предоставить средства для будущих приобретений и оборотный капитал для дальнейшего роста.27 ноября 1992 года Praxis была приобретена Deloitte Consulting (тогда известной как Touche Ross), международной фирмой бухгалтеров и консультантов по менеджменту.Часть компании, отвечающая за критические системы, была приобретена Altran Group в 1997 году.В 2004 году компании Praxis Critical Systems и HIS Consulting объединились в компанию Praxis High Integrity Systems. В январе 2010 года компания Altran объединилась с SC2 и образовала Altran Praxis. ^{[ нужна ссылка ]}С тех пор компания была переименована в Altran вместе с Altran Xype и Altran Technologies.В декабре 2012 года AdaCore вместе с Altran Praxis выпустили SPARK Pro 11. ^[2] В 2013 году Altran приобрела Sentaca, специализированную консалтинговую компанию в области телекоммуникаций. ^{[ нужна ссылка ]}

Отличительной особенностью бывшего офиса Praxis является широкое использование формальных методов , таких как нотация Z и набор инструментов SPARK (приобретенный в результате поглощения разработчика Program Validation Limited в 1994 году) в своем подходе к повышению надежности разработки программного обеспечения . ^[3] Крупный проект с использованием Z стал усовершенствованием Соединенного Королевства ( Национальной службы воздушного движения NATS). ^[4]^[5]

См. также

Энтони Холл , бывший сотрудник, ныне консультант
IPSE (Praxis был ключевым участником влиятельного проекта IPSE2.5)

Ссылки

^ О нас , Альтран.
^ «AdaCore и Altran Praxis выпускают SPARK Pro 11» . Доктор Добб . Проверено 4 сентября 2018 г.
^ Публикации , Практика.
^ NATS является пионером крупнейшего достижения УВД со времен радара ^{[ постоянная мертвая ссылка ]}, НАТС, 2007.
↑ Энтони Саввас, NATS заявляет о крупнейшей инновации в области управления воздушным движением со времен радара , Computer Weekly , 7 марта 2007 г.

Внешние ссылки

Сайт компании

Эта статья о компании из Великобритании незавершена . Вы можете помочь Википедии, расширив ее .

[1] О нас , Альтран.

[2] «AdaCore и Altran Praxis выпускают SPARK Pro 11» . Доктор Добб . Проверено 4 сентября 2018 г.

[3] Публикации , Практика.

[4] NATS является пионером крупнейшего достижения УВД со времен радара ^{[ постоянная мертвая ссылка ]}, НАТС, 2007.

[5] Энтони Саввас, NATS заявляет о крупнейшей инновации в области управления воздушным движением со времен радара , Computer Weekly , 7 марта 2007 г.

[1]

[2]

[3]

[4]

[5]