A Re nement of the Es ape Property ?
ثبت نشده
چکیده
منابع مشابه
Downward Re nement and the E ciency of Hierarchical Problem Solving
Analysis and experiments have shown that hierarchical problem solving is most ef fective when the hierarchy satis es the downward re nement property DRP whereby every abstract solution can be re ned to a concrete level solution without backtracking across abstraction levels However the DRP is a strong requirement that is not often met in practice In this paper we examine the case when the DRP f...
متن کاملCorrectness by Construction: Towards Verification in Hierarchical System Development
In many approaches to the veri cation of reactive systems, operational semantics are used to model systems whereas speci cations are expressed in temporal logics. Most approaches however assume, that the initial speci cation is indeed the intended one. Changing the speci cation thus necessitates to nd an accordingly adapted system and to carry out the veri cation from scratch. During a systems ...
متن کاملConvergence Re nement
Re nement tools such as compilers do not necessarily preserve fault-tolerance. That is, given a fault-tolerant program in a high-level language as input, the output of a compiler in a lower-level language will not necessarily be fault-tolerant. In this paper, we identify a special class of re nement, namely \convergence re nement", that preserves the fault-tolerance property of stabilization. W...
متن کاملFormal Development of Java Based Web Parallel Applications
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. Here, we present a formal devel...
متن کاملSupports of Locally Linearly Independent M-Refinable Functions, Attractors of Iterated Function Systems and Tilings
We study supports of M -re ̄nable functions by means of attractors of iterated function systems, where M is an integer greater than (or equal to) 2. Most of the time, the re ̄nable function Á is not explicitly known. We need to study their properties from the re ̄nement mask. Under the assumption of local linear independence, we show that the support equals to the attractor of an iterated function...
متن کامل