.png){kind=icon}
返回
A formal framework for on-line software version change
.png){kind=icon}
PRE
AI
DOI：10.1109/32.485222.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An on-line software replacement system replaces parts of the software while it is in execution, thus eliminating the shutdown. While a number of implementations of on-line version change systems have been described in the literature, little investigation has been done on its theoretical aspects. In this paper, we describe a formal framework for studying on-line software version change. We give a general definition of validity of an on-line change, show that it is in general undecidable and then develop sufficient conditions for ensuring validity for a procedural language.
Keyword:
on-line software version change
validity of change
process
state
reachable state
data flow analysis
functional enhancement
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
An Explorative Study of the Mobile App Ecosystem from App Developers' Perspective基于App开发者视角的移动App生态系统探索性研究
PREAI
分享收藏
没有更多内容
没有更多内容