logo ABC_logo SHOP_logo

Français

English

Identité

Produits

Librairies

Formations

Downloads

Contact

Partenaires

Demo ABC

Abstraction Ce nom marque très clairement l'attachement à la technologie à objets. Celle-ci repose toute entière sur le concept des types abstraits organisés. Pour Abstraction, l'art du logiciel de qualité est donc dorénavant celui de sertir, progressivement et avec flexibilité, des abstractions dans leurs écrins que sont les classes d'objets.

Cette approche, nous l'avons appliquée avec conviction dans notre produit phare Automatic Business Computing (ABC). Ce logiciel de gestion automatisée pour entreprises (PME) qui respecte en s'adaptant aussi parfaitement que possible aux besoins et à la culture de chaque entreprise. Ceci est rendu possible grâce à la capacité d'ABC interpreter des automates finis dynamiquement définis.

Notre pannel d'activité comprend

  • des formations à la technologie à objets.
  • des formations aux logiciels libres
  • offrons des composants spécifiés
  • de l'assistance au démarrage de projets dans cette approche.
  • et nous distribuons les compilateurs Eiffel.
  • Et surtout, Abstraction a ses propres produits : ABC et SHOP.

Notre philosophie

Notre siège se trouve à Neuchâtel.

Le génie logiciel, par analogie au génie civil, consiste à savoir construire à partir de matériels existants. Depuis longtemps, les ingénieurs de tous domaines utilisent des composants du marché. L'informatique entre seulement dans cette logique. Cette lenteur apparente s'explique fort bien par l'extrême jeunesse de ce domaine. La physique et la mécanique ont des millénaires d'existence, l'informatique elle, a un âge de l'ordre du demi-siècle. Elle a donc encore bien du chemin pour devenir adulte voir sérieuse. Notamment, elle doit définitivement admettre que l'on ne peut ni fabriquer ni (ré)utiliser des composants non certifiés. Non certifié signfie spécifiés et de surcroit comforme à leur spécification. C'est le pas qui devrait être franchi par ce que nous appelons la programmation par contrat(1). Cette idée commence à faire son chemin, nous participons au mieux à la propagation de cette évidence qui est une réalité plus ou moins ancienne pour toutes les autres disciplines de l'ingénieur.

Notre choix


Pour être conforme à notre philosophie, il n'y a pour nous, pas d'autre choix que la technologie Eiffel (Eiffel Softwaretm) à la fois langage et méthode basée sur le concept de programmation par contrat, technique qui devrait être le fondement du génie logiciel. Si vous ne savez pas ce que cela signifie en terme de méthode, langage et outils, laissez vous guider par les liens ci-dessous.

Qu'est-ce que le langage Eiffel

Pourqui-l'Orientation Objet

Publications Eiffel

Abstraction.ch all rights reserved