ESEC
1999
Springer
14 years 7 days ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
ESEC
1999
Springer
14 years 7 days ago
1999
Springer
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
METRICS
1999
IEEE
14 years 7 days ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
METRICS
1999
IEEE
14 years 7 days ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
METRICS
1999
IEEE
14 years 7 days ago
1999
IEEE
Time to market or project duration has increasing significance for commercial software development. We report on a longitudinal study of a project at IBM Hursley Park. The focus o...