1. Summary
  2. Files
  3. Support
  4. Report Spam
  5. Create account
  6. Log in

JML Trac Wiki

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract—DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.

Tools

See the JMLSpecs web site for information on downloading various JML tools.

OpenJML

OpenJML is the next generation of the core JML tools and will support Java 1.7. It is based on OpenJDK.

Other Projects and Experimental Efforts

  • JAJML is an experimental implementation of JML based on JastAdd. 
  • JMLTests is a subproject devoted to creating a common testing framework that incorporates the test corpus from JML2 and can be used by the developers of a variety of JML-based tools. 
  • JmlEclipse offers experimental support for JML via the Eclipse JDT compiler. JmlEclipse offers preliminary support for the JML Intermediate Representation (JIR), Java Contracts (JC) and more. It has been largely inspired by the following (now superseded) projects:
    • JML4 is a project that investigated a deep embedding of JML tools in the Eclipse JDT.
    • JML6 is an incomplete, experimental implementation of JML features using Java annotations and Java Contract (JC).
  • OpenJIR is an experimental version of OpenJml supporting the embedding of JML specifications into class files in the form of JIR.
  • SafeJML is a new variant of JML designed to specify Safety Critical Java (SCJ) programs.
  • temporalJML is an extension of JML that supports specification and checking of temporal properties of programs.
  • DevelopmentNotes on future directions for JML and JML tool support. 

Legacy Tools

The first publicly available JML tool suite, the Common JML Tools or "JML2", targeted Java 1.4 and earlier.

Documentation

Examples

Semantics

Specifications

  • JML2 Javadoc API
  • OpenJml Javadoc API
  • A Beginner's Guide to Specification Writing
  • Specification Writing MobiusPve? workspace

Teaching Materials

JML is used in a variety of courses, from early undergraduate through post-graduate, and in industrial and research tutorials. Several people have also developed screencasts and other online resources on formal methods techniques using JML. We’ve begun collecting these materials and links to other resources on our Teaching Materials page.

Credit

Karikatur Online Jasa Karikatur Berita Terkini Jasa SEO Murah Kata Mutiara Hostgator Coupon Zakat Cheater SOBAT Kumpulan Lagu Terbaru Andre Cheater Pekalongan Contoh Drama Cheat PB Terbaru Lumut Bulan Ramadhan Kanker Tulang Struktur Susunan Tulang AWsurveys Kata Bijak Terbaru Google Panda Skripsi Akuntansi Surat Pengunduran Diri Skripsi Pendidikan Lengkap Google Translate Anatomi Muskuloskeletal Blog AutoApprove Cara Download Video Youtube gemscool SPT Tahunan Chinese New Year Harga BlackBerry Model Jilbab Terbaru Shio Kambing Farah Queen Pengertian Reksadana Shio Macan Azab Kubur Shio Monyet Shio Kelinci Cerita Dewasa Fenomena Nama Perawat Shio Tikus Kaskus Atlantica DB Google Chrome Cheat Avatar Hal Unik Video Bokep Saints Row 2 Cheat Smadav Gadget Judul Skripsi Bahasa Inggris Cheat Plants vs Zombie Facebook Timeline Tips Optimasi SEO 4shared Judul Skripsi Keperawatan Kanker Payudara Sistem Informasi Manajemen Cheat Ninja Saga Contoh Proposal Dana Kata Mutiara Cinta Apa Kabar Dunia Harga Nokia Terbaru Judul Skripsi Manajemen Diet Golongan Darah Cara Menghilangkan Jerawat Judul Skripsi Matematika Contoh Proposal PTK Foto Hot Arti Nama Bayi FB Potongan Rambut Angry Birds Fakta Youtube Kata Lucu


Attachments