Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,904 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
ANSI/ISO C Specification Language
Assertion (software development)
Class invariant
Compiler
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
An Institutional Framework for Heterogeneous Formal Development in UML
Alexander Knapp
,
Till Mossakowski
,
M. Roggenbach
arXiv.org
2014
Corpus ID: 207974479
We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal…
Expand
2010
2010
A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process
J. Pestana
2010
Corpus ID: 18354222
Variables
2009
2009
Data association method of SLAM based on ant colony algorithm
Jiang Dapeng
2009
Corpus ID: 57122042
A new data association algorithm based on Ant Colony Algorithm (ACA) was proposed to deal with the data association problem for…
Expand
2008
2008
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
Patrice Chalin
,
Perry R. James
,
George Karabotsos
Verified Software: Theories, Tools, Experiments
2008
Corpus ID: 47122940
2008
2008
Explicit information flow properties in JML
Christian Haack
,
E. Poll
,
A. Schubert
2008
Corpus ID: 16039584
This paper considers how explicit information flow properties can be expressed and verified in a traditional program logic, using…
Expand
2007
2007
Specifying Pointcuts in AspectJ
Yi Wang
,
Jianjun Zhao
Annual International Computer Software and…
2007
Corpus ID: 18772035
Program verification is a promising approach to improving program quality. To formally verify aspect- oriented programs, we have…
Expand
2007
2007
Analyzing Web Service Contracts
E. Cambronero
,
Joseph C. Okika
,
A. Ravn
International Conference on Mobile Ubiquitous…
2007
Corpus ID: 15020649
Web services should be dependable, because businesses rely on them. For that purpose the service oriented architecture has…
Expand
2006
2006
On the combination of Java Card Remote Method Invocation and JML
M. Oostdijk
,
M. Warnier
,
M. Oostdijk
,
M. Warnier
2006
Corpus ID: 10344491
2006
2006
An Automatic Conversion HTML/XML to WSDL for Ubiquitous Mobile Services
G. Park
,
Seoksoo Kim
,
Neung-Hwan Yoo
,
Kyungsuk Lee
,
W. Jang
2006
Corpus ID: 15749246
New technologies for ubiquitous environment, like Wi-Fi networks and 3rd generation mobile phones, are offering the…
Expand
2001
2001
A Tool-Supported Integration of BON and JML
R. Paige
,
L. Kaminskaya
2001
Corpus ID: 15570088
We describe a tool-supported integration of an object-oriented formal method, BON, with an object-oriented formal modelling…
Expand