Article ID Journal Published Year Pages File Type
6948181 Information and Software Technology 2018 23 Pages PDF
Abstract
We proposed a framework for integrating model checking with a self-adaptive software lifecycle. The results of our experiments showed that the proposed framework can achieve verify self-adaptation software at runtime.
Related Topics
Physical Sciences and Engineering Computer Science Human-Computer Interaction
Authors
, , , , ,