1027 search results - page 40 / 206 » A Model for Java with Wildcards |
118
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
124
click to vote
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
99
Voted
ENTCS
2007
15 years 2 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
129
Voted
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
107
Voted
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...