1932 search results - page 230 / 387 » Molecule-oriented programming in Java |
152
Voted
ECMDAFA
2008
Springer
15 years 2 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
134
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
124
click to vote
SAC
2008
ACM
15 years 6 days ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
147
Voted
DSN
2011
IEEE
14 years 16 days ago
2011
IEEE
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
101
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...