Onze producten

Lees meer over de oplossingen die ons platform kan bieden.

Model-gebaseerd testen

Blank

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.

Protocoltesten

Blank

Ons platform is ongeƫvenaard in het testen van communicerende systemen. Vanuit een formele specificatie van het protocol worden alle mogelijke interacties afgeleid en getest.

Lees meer over protocoltesten.

Model-gebaseerd werken

Blank

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

Lees meer over model-gebaseerd werken.

De rekenbox

Blank

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

Blank

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

Lees meer over de documentenbox.

Het productmodel

Blank

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

Lees meer over het productmodel.

Onze aanpak

Blank

Voor het invoeren van model-gebaseerd werken of testen binnen een organisatie hebben we een bewezen aanpak in drie fasen.

Lees meer over onze aanpak.