Fout-vrije software.
Het is mogelijk.

Axini biedt een platform om uw software-ontwikkelingsproces te stroomlijnen. Dit stelt uw domeinexperts in staat om kwalitatief hoogwaardige software te maken met onze model-gebaseerd werken aanpak. Onze oplossing is gebaseerd op meer dan 25 jaar wetenschappelijk onderzoek naar formele methoden.

Scroll verder

Kwalitatief hoogwaardige software maken is moeilijk

De problemen die wij oplossen in het ontwikkelen van complexe en bedrijfskritische systemen

Missing puzzle piece

Gebrekkige specificaties

Lifting heavy weights

Zware testinspanning

Incorrect summation

Productie-incidenten

Man looking at his watch

Trage oplevering

Stack of coins

Hoge kosten

Crumpled paper in a trashcan

Slechte onderhoudbaarheid

Het kan beter

Gebruik model-gebaseerd werken en model-gebaseerd testen

A screen showing the Axini Modeling Suite
De Axini Modeling Suite

Zo werkt het

Specificaties worden vandaag de dag geschreven in natuurlijke taal door vele mensen met verschillende expertises. We observeren vaak lange ketens waar documenten worden overgedragen van de een op de ander. Elke stap introduceert interpretaties en aannames bovenop het originele ontwerp beschreven door de domeinexperts. Hierdoor ontstaan fouten. Omdat de specificaties worden vastgelegd in natuurlijke taal is het erg moeilijk deze te controleren op fouten. Wij zien deze werkwijze als een van de grootste oorzaken van problemen in software en het bijbehorende ontwikkelproces.

Ons platform vereenvoudigt het ontwikkelproces door een enkele bron van waarheid, een formele omschrijving van het gewenste systeem, centraal te stellen. Deze formele specificatie noemen wij een model. Domeinexperts zijn zelf in staat om een model te schrijven met behulp van onze gemakkelijke domein-specifieke modelleertaal, de Axini Modeling Language. Dit model stelt ons platform in staat om uw software-ontwikkelingsproces volledige te automatiseren. Deze aanpak noemen wij model-gebaseerd werken.

Dit bieden wij

Man drawing on a whiteboard

Formeel specificeren

Wij stellen uw domeinexperts in staat om eenduidige specificaties te schrijven. Deze vervangen zowel de functionele als de technische documentatie van uw systeem. Daarmee vormen deze modellen een enkele bron van waarheid. Dit vereenvoudigt de communicatie tussen verschillende competenties en vermindert het aantal benodigde schakels in de keten, wat leidt tot een efficiënter en goedkoper proces.

Complex machinery with gears

Testautomatisering

Ons platform genereert en automatiseert slimme testgevallen uit uw gehele specificatie. Hiermee wordt uw systeem(landschap) grondig geautomatiseerd getest met minimale inspanning. Met deze aanpak hoeft de mens geen testgevallen meer te schrijven en onderhouden. Door het testproces volledig te automatiseren kunt u bedrijfskritische systemen snel en met vertrouwen in productie nemen.

Code on a computer screen

Softwaregeneratie

Ons platform genereert uw software automatisch op basis van uw modellen. Dit resulteert in robuuste systemen die volledig in lijn zijn met uw specificaties. Deze aanpak stelt u in staat uw systemen gemakkelijk te onderhouden door bij veranderende requirements alleen uw modellen bij te werken. Onze werkwijze stelt de business centraal en vereenvoudigt de IT oplossingen.

Heeft u interesse?

Neem contact met ons op. Onze mensen vertellen u graag meer.

Contactinformatie