APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...