J
Ji Zhang
Researcher at Michigan State University
Publications - 3
Citations - 661
Ji Zhang is an academic researcher from Michigan State University. The author has contributed to research in topics: Adaptation (computer science) & Temporal logic. The author has an hindex of 3, co-authored 3 publications receiving 640 citations.
Papers
More filters
Proceedings ArticleDOI
Model-based development of dynamically adaptive software
Ji Zhang,Betty H. C. Cheng +1 more
TL;DR: The approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection.
Journal ArticleDOI
Using Temporal Logic to Specify Adaptive Program Semantics
Ji Zhang,Betty H. C. Cheng +1 more
TL;DR: A-LTL is introduced, an adaptation-based extension to linear temporal logic, and this logic is used to specify three commonly used adaptation semantics, which can also be used to automatically generate specification for adaptive programs.
Journal ArticleDOI
Specifying adaptation semantics
Ji Zhang,Betty H. C. Cheng +1 more
TL;DR: An approach to formally specifying adaptation requirements in temporal logic is introduced, and A-LTL, an adaptation-based extension to linear temporal logic, is introduced to specify three commonly used adaptation semantics.