Méthode Formelle de Conception de Logiciels
LinkZ en 5 Points Clés
- Stabilité et cohérence de l’application garantie par design
- L’architecture logicielle devient un composant testable
- Développement par incréments depuis la maquette fonctionnelle jusqu’au produit final
- Génération automatique de code et de documentation
- 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é.
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.