MaDKit forum

molka

Member

Registered: 2010-01-08

Posts: 11

JML en Madkit

Bonjour,

Je veux utiliser le langage JML (Java Modeling Language) qui est un langage de spécification pour java.

Est-ce que je peux utiliser ce langage pour programmer sur  madkit ?

Merci.

fmichel

Administrator

From: Montpellier

Registered: 2009-03-24

Posts: 177

Website

Re: JML en Madkit

Bonjour,

Je ne connais pas bieni JML mais de ce que j'en comprends, je ne vois pas de raison pour que cela ne puisse pas être utilisé dans MadKit.

---

https://github.com/fmichel/MaDKit