copy and paste this google map to your website or blog!
Press copy button and paste into your blog or website.
(Please switch to 'HTML' mode when posting into your blog. Examples: WordPress Example, Blogger Example)
Input Form:Deal with this potential dealer,buyer,seller,supplier,manufacturer,exporter,importer
(Any information to deal,buy, sell, quote for products or service)
JML Tutorial - OpenJML These pages provide a quick introduction to JML (the Java Modeling Language) and OpenJML (a tool that checks specifications written in JML for Java programs) in the form of an on-line tutorial
Java Modeling Language - Wikipedia JML is a behavioural interface specification language for Java modules JML provides semantics to formally describe the behavior of a Java module, preventing ambiguity with regard to the module designers' intentions
Home | OpenJML The Java Modeling Language (JML) is a mature program specification language with more than two decades of history OpenJML is capable of checking Java programs annotated with specifications in the Java Modeling Language and provides robust support for many of JML's features