Dans un ordinateur, peuvent s'exécuter deux types de logiciels:
1. Les logiciels qui fournissent un service particulier à l'utilisateur final, comme par exemple un traitement de texte ou un programme de dessin. De tels logiciels sont appelés des applications, et ce sont eux qui justifient l'usage d'un ordinateur.
2. Les logiciels dont le but est de fournir un service à la machine. Dans cette catégorie, on trouve deux types de logiciels:
Les "logiciels dont le but est d'offrir un service aux applications". Une application a besoin de dialoguer avec l'utilisateur par l'intermédiaire du clavier et de l'écran. Le logiciel de gestion du clavier et de l'écran entre dans cette catégorie.
Les "logiciels offrant un service à la personne qui gère la machine". Par exemple celui qui permet d'afficher à l'écran la liste des fichiers contenus dans un répertoire fait partie de cette catégorie.
L'ensemble des logiciels offrant des services ainsi orientés vers la machine porte le nom de système d'exploitation.