COSTO/Kmelia

Search

Skip to content

Home
Description
- Kmelia
- Costo
- CostoTest
Documentation
Download
Application
- PlatoonSystem
  - Platoon System Screenshot
- The Test Kmelia Project
  - Stock System Screenshot
Publication
- All publications
- Upload files
Community

Search for:

Category Archives: Vérification & Validation

CBSE, SOA, Testing, Vérification & Validation

COSTO information site

18 February 2015

The web site is now online.

A Platform to Specify and Verify Component and Service Software

Overview

The COSTO toolbox is an Eclipse platform that consists of: a core module with an ANTLR-based parser and an API to access the Kmelia (internal) model, several verification and exportation modules, a set of eclipse plugins.

Search for: