3971 search results - page 1 / 795 » On the Use of Properties in Java Applications |
ASWEC
2010
IEEE
13 years 5 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
JAVACARD
2000
13 years 8 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
ENTCS
2010
13 years 2 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...