3456 search results - page 436 / 692 » Byte Code Engineering |
113
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
171
click to vote
ASE
2006
15 years 3 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
198
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
166
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
149
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...