Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).

The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to find ways of updating software as it runs. Dynamic update is a kind of software evolution that updates a running program wit...

Disgrifiad llawn

Manylion Llyfryddiaeth
Cyhoeddwyd yn:	Software engineering notes. 30, 5 (2005).
Prif Awdur:	Shen, Junrong
Fformat:	Erthygl
Iaith:	English
Pynciau:	Software. Software engineering. Software architectures. Domain-specific architectures. Patterns (e.g., client/server, pipeline, blackboard). Software/Program Verification. Formal methods. Design. Documentation. Theory. Verification. CSP. Architectural connector. Dynamic update. Software architecture.