1379 search results - page 163 / 276 » codes 2009 |
117
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
124
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
111
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
129
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
126
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...