Zwany język komputerowy formalny język niekoniecznie Turinga kompletne wykorzystywane w projektowaniu, wdrażaniu lub eksploatacją systemu informatycznego . Termin ten jest jednak używany w niektórych kontekstach w bardziej restrykcyjnym znaczeniu języka programowania .
Języki komputerowe interweniują w różnych momentach cyklu życia komputerowego systemu informacyjnego (SII), patrz formalne systemy informacyjne SI (na przykład: opis procedury biznesowej nieskomputeryzowanej w UML ).
Niektóre są używane na etapie specyfikacji . UML i formalizmy graficzne zdefiniowane w Merise są częścią tych języków. Służą do definiowania danych i modeli przetwarzania. Mimo że języki te są przeznaczone głównie dla ludzi, a nie dla maszyn, są klasyfikowane jako języki komputerowe, ponieważ są częścią procesu rozwoju systemów. Ponadto niektóre programy umożliwiają tworzenie kodu źródłowego wyrażonego w języku programowania z języków projektowania. Metody formalne (języki matematyczne) i języki algorytmiczne są również wykorzystywane do projektowania zabiegów. Faza realizacji następuje po fazie projektowania. Na tym etapie stosuje się głównie:
Oprócz projektowania i wdrażania IS, IS i ich użytkownicy używają wielu innych języków.
Dlatego języki programowania są również wykorzystywane do zadań innych niż implementacja. Na przykład skrypty pozwalają na utrzymanie IS lub tworzenie stron internetowych z dynamiczną zawartością. Inne języki programowania mogą być używane do pisania interfejsów graficznych (takich jak XUL ), programowania sterowników numerycznych lub programowalnych sterowników , tworzenia statystyk ( na przykład za pomocą R ) i wielu innych celów.
Podobnie jak języki programowania, języki zapytań są również szeroko stosowane poza ramami tworzenia SI.
Języki definicji dokumentów, używane do dokumentowania SI podczas jego projektowania i rozwoju, są również używane przez wszystkich użytkowników. W ten sposób HTML umożliwia pisanie stron internetowych; XML umożliwia strukturyzację treści; LaTeX , szeroko stosowany przez naukowców i pracowników akademickich, jest w stanie tworzyć wiele typów dokumentów… Należy pamiętać, że te języki są często językami znaczników .
Niektóre języki są bardziej wyspecjalizowane. Na przykład :