Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,487,559 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
2011
2011
JML LibGuides. Culturally Competent Care for Specific Populations. American Indian/Alaska Native.
Nmc Library
2011
Corpus ID: 227453406
This guide is a resource on Cultural Competence for multiple ethnic populations and resources specific to the Latino, Muslim and…
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
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