アルトランプラクシス

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 年にMartyn Thomas 氏と David Bean 氏によって設立されました。同社は 1983 年 6 月 1 日に法人化され、1983 年 7 月 1 日に事業を開始しました。1985 年 6 月 28 日に、 Praxis Systems plc という公開有限会社 になりました。1988 年まで、Praxis 社はほぼ完全にそのスタッフによって所有されていました。1988 年に、Praxis 社は、将来の買収のための資金と継続的な成長のための運転資金を提供するために、ベンチャー キャピタル ファイナンスを獲得しました。1992 年 11 月 27 日に、Praxis 社は、会計士および経営コンサルタントの国際企業であるDeloitte Consulting (当時は Touche Ross として知られていました) に買収されました。同社のクリティカル システム部門は、1997 年にAltran Groupに買収されました。2004 年に、Praxis Critical Systems とHIS Consulting が合併して、Praxis High Integrity Systems 社が設立されました。 2010年1月、同社はSC2とAltranによって合併され、Altran Praxisが設立されました。 ^{[引用が必要]}その後、同社はAltran XypeおよびAltran TechnologiesとともにAltranにブランド名を変更しました。 2012年12月、AdaCoreはAltran PraxisとともにSPARK Pro 11をリリースしました。^[2] 2013年、Altranは専門の通信コンサルタント会社であるSentacaを買収しました。^{[引用が必要]}

旧Praxisオフィスの特徴は、ソフトウェアエンジニアリングの信頼性を向上させるアプローチにおいて、Z表記法やSPARKツールセット（1994年に開発会社Program Validation Limitedを買収して獲得）などの形式手法を広範に使用していることです。^{[3] Zを使用した主要なプロジェクトは、}英国の国立航空交通サービス（NATS）の機能強化でした。^{[4] [5]}

• アンソニー・ホール、元従業員、現在はコンサルタント
• IPSE (Praxis は影響力のある IPSE2.5 プロジェクトの主要参加者でした)

• 企業ウェブサイト