Skip to search formSkip to main contentSkip to account menu

Java Modeling Language

Known as: JML 
The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
ANSI/ISO C Specification LanguageAssertion (software development)Class invariantCompiler

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
The role of the TGF-co-receptor endoglin in cancer
Endoglin (CD105) is an auxiliary membrane receptor of transforming growth factor- (TGF-) that interacts with type I and type II… 
2012
2012
Bounded Program Verification Using an SMT Solver: A Case Study
We present a novel approach to bounded program verification that exploits recent advances of SMT solvers in modular checking of… 
2011
2011
List-Based Group-Wise Symbol Detection for Multiple Signal Communications
Co-channel interference (CCI) occurs in a wireless receiver when multiple signals are present. The receiver experiences excessive… 
Review
2008
Review
2008
A theoretical and experimental study of geometric networks
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… 
2008
2008
Adapting the Java Modeling Language for Java 5 Annotations
The Java Modeling Language (JML) is a formal specification language for Java that allows to express intended behavior through… 
2008
2008
Preamble-based cell identification for cellular OFDM systems
Preamble-based cell identification (CID) schemes are derived for orthogonal frequency division multiplexing (OFDM) systems. They… 
2005
2005
Test of the ICARE Platform Fusion Mechanism
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based… 
2004
2004
A case study in JML-based software validation
This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that… 
2004
2004
Specifying JAVA CARD API in OCL
2001
2001
Spin-polarized inter-grain tunneling as the probable mechanism for low-field magnetoresistance in partially crystallized La0.5Sr0.5MnO3 thin films
Abstract.Amorphous/crystalline mixed La0.5Sr0.5MnO3 (LSMO) thin films on quartz wafers are prepared at different depositing… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)