5407 search results - page 393 / 1082 » The Software Engineering Global Model |
183
click to vote
SCAM
2006
IEEE
16 years 26 days ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
249
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
206
click to vote
CCGRID
2005
IEEE
16 years 14 days ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
203
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
212
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...