ESEC
1999
Springer
14 years 3 months ago
1999
Springer
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
ESEC
1999
Springer
14 years 3 months 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 3 months 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 3 months ago
1999
Springer
ESEC
1999
Springer
14 years 3 months 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 3 months ago
1999
Springer
ESEC
1999
Springer
14 years 3 months 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...