Sciweavers

940 search results - page 3 / 188
» Rules and Strategies in Java
Sort
View
APSEC
2002
IEEE
15 years 4 months ago
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae
EUC
2005
Springer
15 years 5 months ago
Application-Driven Customization of an Embedded Java Virtual Machine
Abstract. Java for embedded devices is today synonym of “embeddable pseudo-Java”. Embedded flavors of Java introduce incompatibilities against the standard edition and break i...
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Va...
OTM
2004
Springer
15 years 5 months ago
Studying the Behaviour of the Single Parent Rule in Real-Time Java
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
M. Teresa Higuera-Toledano
PLDI
2009
ACM
16 years 10 days ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav
FASE
2001
Springer
15 years 4 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
Bart Jacobs, Erik Poll