117 search results - page 1 / 24 » Towards preserving correctness in self-managed software syst... |
WOSS
2004
ACM
13 years 10 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
SASO
2007
IEEE
13 years 10 months ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
ECOOP
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...