Praktyka Altrana
Altran UK (wcześniej znany jako Altran Praxis , Praxis High Integrity Systems , Praxis Critical Systems , Altran Xype , Xype i Altran Technologies ) jest oddziałem firmy macierzystej Altran . Altran Praxis był brytyjskim software housem specjalizującym się w systemach krytycznych . Ta rola jest kontynuowana pod szyldem usług doradztwa w zakresie zaawansowanych technologii, świadczonych przez resztę grupy Altran.
Oddział znany wcześniej jako Praxis (specjaliści ds. systemów krytycznych) ma siedzibę w SouthGate w Bath w Anglii , w pobliżu stacji kolejowej Bath Spa , a także biura w Londynie , Loughborough , Paryżu , Sophia Antipolis i Bangalore .
Altran UK jako całość posiada biura w Bath , Bristolu , Londynie , Loughborough , Manchesterze , Slough i Coventry .
Firma Praxis Systems Limited została założona przez Martyna Thomasa i Davida Beana w 1983 roku: została zarejestrowana 1 czerwca 1983 roku i rozpoczęła działalność 1 lipca 1983 roku. 28 czerwca 1985 roku stała się spółką akcyjną Praxis Systems plc . Do 1988 roku Praxis była prawie w całości własnością jej pracowników. W 1988 roku Praxis uzyskała finansowanie venture capital w celu zapewnienia środków na przyszłe przejęcia oraz kapitału obrotowego na dalszy rozwój. W dniu 27 listopada 1992 r. Praxis została przejęta przez Deloitte Consulting (wówczas Touche Ross), międzynarodową firmę księgowych i konsultantów ds. zarządzania. Część firmy zajmująca się systemami krytycznymi została przejęta przez Grupę Altran w 1997 r. W 2004 r. Praxis Critical Systems i HIS Consulting połączyły się, tworząc Praxis High Integrity Systems. W styczniu 2010 roku firma została połączona z SC2 przez Altran, tworząc Altran Praxis. [ potrzebne źródło ] Od tego czasu firma została przemianowana na Altran wraz z Altran Xype i Altran Technologies. W grudniu 2012 roku AdaCore wraz z Altran Praxis wypuścił SPARK Pro 11. W 2013 roku Altran przejął Sentaca, specjalistyczną firmę konsultingową ds. Telekomunikacji. [ potrzebne źródło ]
Cechą wyróżniającą dawne biuro Praxis jest szerokie wykorzystanie metod formalnych , takich jak notacja Z i zestaw narzędzi SPARK (przejęty w wyniku przejęcia deweloperów Program Validation Limited w 1994 r.) w podejściu do poprawy niezawodności inżynierii oprogramowania . Duży projekt wykorzystujący Z był ulepszeniem krajowych służb ruchu lotniczego (NATS) w Wielkiej Brytanii .
Zobacz też
- Anthony Hall , były pracownik, obecnie konsultant
- IPSE (Praxis był kluczowym uczestnikiem wpływowego projektu IPSE2.5)
Linki zewnętrzne