X

JML meaning in Computing ?

( 5 )  .  1 Rating
1327 views   .  0 comments  .   . 

Download Solution PDF

Answer: What is Java Modeling Language mean?

The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as Java annotation comments to the source files, which hence can be compiled with any Java compiler.

Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.

reference

Take Quiz To Earn Credits!

Turn Your Knowledge into Earnings.




Give Rating
Report
Write Your Comments or Explanations to Help Others
Comments(0)





Miscellaneous in Computing
Miscellaneous in Computing

Ever curious about what that abbreviation stands for? fullforms has got them all listed out for you to explore. Simply,Choose a subject/topic and get started on a self-paced learning journey in a world of fullforms.

Explore Other Libraries

X

Important Computing Links





Copyright (c) 2021 TuteeHUB

OPEN APP
Channel Join Group Join