473 search results - page 2 / 95 » Model Generation for Distributed Java Programs |
124
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
163
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
181
click to vote
STTT
2010
15 years 1 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
118
click to vote
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
157
click to vote
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...