5343 search results - page 280 / 1069 » Keyword programming in java |
118
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
184
click to vote
ECMDAFA
2008
Springer
15 years 5 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...
159
Voted
FM
2008
Springer
15 years 4 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...
176
click to vote
DSN
2011
IEEE
14 years 3 months 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...
110
click to vote
SIGPLAN
2008
15 years 3 months ago
2008
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...