3456 search results - page 491 / 692 » Byte Code Engineering |
115
click to vote
ENTCS
2007
15 years 3 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
114
Voted
LOBJET
2006
15 years 3 months ago
2006
ABSTRACT. Design patterns are well-known couples of problems-solutions for software engineering. By nature, they often lack support from languages and this further complicates the ...
146
Voted
INFSOF
2007
15 years 3 months ago
2007
The use of object-oriented design patterns in game development is being evaluated in this paper. Games’ quick evolution, demands great flexibility, code reusability and low mai...
140
click to vote
JUCS
2007
15 years 3 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
170
Voted
ISPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...