Cette division définit l'axiomatique de l'algorithmique orientée objet et sa traduction pour l'écriture des programmes dans les divers langages. Dans le cas de la découverte, les modules sont à réaliser selon l'enchaînement linéaire défini, à savoir :
