Onze producten

Lees meer over de oplossingen die ons platform kan bieden.

Model-gebaseerd werken

Onze werkwijze versimpelt het ontwikelproces en stelt domeinexperts centraal. Zij schrijven formele specificaties waarmee ons platform het volledige ontwikkelproces automatiseert.

Lees meer over model-gebaseerd werken.

Model-gebaseerd testen

Ons platform test uw systeem grondiger dan ooit tevoren. Testgevallen worden automatisch gegenereerd en uitgevoerd op basis van de specificaties.

Lees meer over model-gebaseerd testen.

De rekenbox

Onze rekenbox stelt domeinexperts in staat om zelf (actuariƫle) rekenregels te specificeren en automatiseren. Met ons platform kunnen zij een implementatie genereren en automatisch testen.

Lees meer over de rekenbox.

De documentenbox

De documentenbox stelt domeinexperts in staat om gemakkelijk documenten, regelementen, brieven en polissen te specificeren, controleren en genereren.

Lees meer over de documentenbox.

Het productmodel

Ons productmodel stelt domeinexperts in staat uw producten eenduidig te specificeren. Ons platform kan deze automatisch controleren.

Lees meer over het productmodel.