ESEC
1999
Springer
13 years 12 months ago
1999
Springer
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
ESEC
1999
Springer
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 months ago
1999
Springer
ESEC
1999
Springer
13 years 12 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
13 years 12 months ago
1999
Springer
ESEC
1999
Springer
13 years 12 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...