In this paper, model bases and model generators are presented in the context of model refinement. This article proposes a neural network based model refinement technique for software metrics estimation. Neural networks are introduced as instruments of model refinement. A refinement technique is proposed for ranking and selecting input variables. A case study shows the practice of model refineme...

The topic of this PhD thesis is the stepwise refinement of distributed algorithms. Stepwise refinement starts with a simple algorithm with certain desired properties. This algorithm is refined step by step such that the desired properties are preserved in each refinement step. The result is a complex distributed algorithm which satisfies concrete implementation requirements and which still has ...

A microstructure consisting of ultrafine grained (UFG) ferrite with average grain size of ~ 0.7 µm and dispersed nano-sized carbides was produced by cold-rolling and tempering of the martensite starting microstructure in a low carbon steel. Subsequently, fine grained dual phase (DP) steel consisting of equiaxed ferrite grains with average size of ~ 5 µm and martensite islands with average size ...

My talk will present the refinement concept of abstract state machines (ASMs, [Gur95], [BS03]) that was introduced by Börger in the 90’ies ([Bör90a], [Bör90b]), when he found that traditional refinement concepts were not suitable to capture refinement in the verification of a Prolog compiler. His methodology for the use of the ASM refinement paradigm and numerous applications are described in [...

We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We distinguish between black box and glass box views of interactive system components as well as refinements of their black box and glass box views. We identify and discuss several classes of refinements such ...

Online software tutorials help a wide range of users acquire skills with complex software, but are not always easy to follow. For example, a tutorial might target users with a high skill level, or it might contain errors and omissions. Prior work has shown that user contributions, such as user comments, can add value to a tutorial. Building on this prior work, we investigate an approach to soli...

Model refinement is a technique indispensable for modeling large and complex systems. Many formal specification methods share this concept which usually comes together with the definition of refinement correctness, i.e., the mathematical proof of a logical relation between an abstract model and its refined models. Model refinement is one of the main concepts which the Abstract State Machine (AS...

Refinement is a powerful technique for tackling the complexities that arise when formally modelling systems. Here we focus on a posit-and-prove style of refinement, and specifically where a user requires guidance in order to overcome a failed refinement step. We take an integrated approach – combining the complementary strengths of topdown planning and bottom-up theory formation. In this paper ...

the x-ray charge density analysis of a hydroxynaphthoquinnne derivative was obtained by multipolar hansen-coppens formalism refinement through high resolution x-ray diffraction data at 100(1) k. the molecularproperties of the title compound resulted from the combined experimental and the quantum theory of atoms inmolecules (qtaim) studies. the topological properties of the covalent bonds and of...

We continue our recent study on constructing a refinement kernel for a given kernel so that the reproducing kernel Hilbert space associated with the refinement kernel contains that with the original kernel as a subspace. To motivate this study, we first develop a refinement kernel method for learning, which gives an efficient algorithm for updating a learning predictor. Several characterization...