Войти
Altran UK (ранее известный как Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype и Altran Technologies ) является подразделением материнской компании Альтран. Altran Praxis была британской компанией по разработке программного обеспечения, которая специализировалась на критических системах. Эта роль продолжается под знаменем высокотехнологичных инженерных консультационных услуг, предоставляемых остальной частью группы Altran.
Подразделение, ранее известное как Praxis (специалисты по критическим системам), базируется в SouthGate, Bath, England, недалеко от Железнодорожный вокзал Бат-Спа, а также офисы в Лондоне, Лафборо, Париже, София Антиполис и Бангалор.
Альтран Великобритания в целом имеет офисы в Бат, Бристоль, Лондон, Лафборо, Манчестер, Слау и Ковентри.
Компания 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 года компания была объединена с SC2 компанией Altran и образована Altran Praxis. С тех пор компания была переименована в Altran вместе с Altran Xype и Altran Technologies. В декабре 2012 года AdaCore вместе с Altran Praxis выпустили SPARK Pro 11. В 2013 году Altran приобрела Sentaca, специализированную консалтинговую компанию в области телекоммуникаций.
Отличительной чертой бывшего офиса Praxis является широкое использование формальных методов., например, Z-нотация и набор инструментов SPARK (приобретенный в результате поглощения разработчиков Program Validation Limited в 1994 году) в своем подходе к улучшению надежность программной инженерии. Крупный проект, использующий Z, был усовершенствованием для Соединенного Королевства Национальной службы воздушного движения (NATS).
