852 search results - page 82 / 171 » Understanding How the Requirements Are Implemented in Source... |
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
140
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
240
click to vote
MSR
2011
ACM
14 years 7 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
141
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
110
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...