=

Méthode Formelle de Conception de Logiciels

=

LinkZ en 5 Points Clés

  1. Stabilité et cohérence de l’application garantie par design
  2. L’architecture logicielle devient un composant testable
  3. Développement par incréments depuis la maquette fonctionnelle jusqu’au produit final
  4. Génération automatique de code et de documentation
  5. Multithreading automatique, systèmes distribués et autres possibilités offertes par le noyau opérationnel LinkZ

Plus de temps pour l’essentiel !

=

Plus de temps pour ...

  • Votre coeur de métier 

  • Les besoins de vos clients

  • Le développement fonctionnel

  • L’innovation

=

Gain de temps sur ...

  • Les tests

  • La maintenance

  • La documentation

A qui s’adresse cette solution ?

Entreprises

Réduisez les coûts
de maintenance et d’évolution

LinkZ garantit des applications stables et évolutives… avec agilité !

Start-ups

Focalisez vos ressources
sur l’innovation

LinkZ se charge de l’intégration, de la documentation et des tests.

Chercheurs

Plus de science,
moins d’ingénierie

LinkZ fournit aux chercheurs un bac à sable pour tester les algorithmes rapidement, et en toute sérénité.

Principes de la méthode

A propos…

Marek BUCKI

Après des études de mathématiques et d’informatique, puis un passage par la simulation aérienne, ferroviaire et la finance, je suis tombé il y a 15 ans dans l’informatique médicale.

Je travaille depuis dans le domaine des dispositifs médicaux et de la chirurgie assistée par ordinateur. Dés le début de ce parcours, j’ai ressenti la nécessité de garantir de manière formelle la stabilité et la justesse des applications utilisées au bloc opératoire. Une méthode a peu à peu émergé au fil de multiples essais et erreurs…

Je souhaite diffuser le fruit de cette « quête de fiabilité » afin d’en faire bénéficier d’autres disciplines… En espérant que cela apportera de la sérénité et libérera la créativité d’autres concepteurs !

Inspiration

"Tout a déjà été écrit, mais tout n'a pas encore été lu..."

Voici quelques citations qui illustrent l’état d’esprit dans lequel s’inscrit la méthode que je vous propose.

Purpose of Architecture

« The primary purpose of architecture is to support the life cycle of the system. Good architecture makes the system easy to understand, easy to develop, easy to maintain, and easy to deploy. The ultimate goal is to minimize the lifetime cost of the system and to maximize programmer productivity. »

Clean Architecture, Robert C. Martin, 2017

Perfection and Adequacy

« It doesn’t matter much what the programs are about or
what applications they serve. What does matter is how well they perform and how smoothly they fit with other programs in the creation of still greater programs. The programmer must seek both perfection of part and adequacy of collection. »

Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman, Julie Sussman, 1996

Simple and Elegant Solutions

« When you first start off trying to solve a problem, the first solutions you come up with are very complex, and most people stop there. But if you keep going, and live with the problem and peel more layers of the onion off, you can often times arrive at some very elegant and simple solutions. » – Steve Jobs

Formal Methods

« Formal methods help engineers get the design right,
which is a necessary first step toward getting the code right. […] Engineers are unlikely to realize the design is incorrect while focused on coding; […] Formal methods help engineers gain a better understanding of the design. »

How Amazon Web Services Uses Formal Methods, Newcombe et al., Communications of the ACM, 58(4), pp. 66-73, April 2015

Writing and Thinking

« Writing is nature’s way of letting you know how sloppy your thinking is. » – Richard Guindon

quoted by Leslie Lamport in Specifying Systems, 2002

l

Formulaire de contact

6 + 15 =