Putback-based bidirectional programming allows the programmer to write only one putback transformation, from which unique corresponding forward transformation is derived for free. The logic of a more sophisticated than that and does not always give rise well-behaved programs; this calls robust language design support development transformations. In paper, we implement concise core BiGUL putback-based serve as foundation higher-level languages. completely formally verified in dependently...

Bidirectional live programming is a paradigm that enhances the developer experience by allowing direct modifications to output, with changes instantly reflected back source program. Existing operation-based approaches allow modifying constant values and expressions of programs, while they lack control over originating from multiple updatable locations. To updatability program, our approach introduces non-updatable expressions, which guide fusion updates intended The correctness properties,...

Different XML formats are widely used for data exchange and processing, being often necessary to mutually convert between them. Standard transformation languages, like XSLT or XQuery, unsatisfactory this purpose since they require writing a separate each direction. Existing bidirectional languages mean cover gap, by allowing programmers write single program that denotes both transformations. However, 1) induce more cumbersome programming style than their traditionally unidirectional...

Bidirectional live programming systems (BLP) enable developers to modify a program by directly manipulating the output, so that updated can produce manipulated output. One state-of-the-art approach BLP is operation-based, which captures developer's intention of modifications taking how developer manipulates output into account. The are usually hard coded for each direct manipulation in these systems, difficult extend. Moreover, reflect manipulations source program, trace modified appropriate...

Model synchronization plays an important role in model- driven software development. Bidirectional model transformation approaches provide techniques for developers to specify the bidirectional relationship between source and target models, while keeping related models synchronized free. Since of interest are usually not a one-to-one correspondence, this process is inherently ambiguous. Nevertheless, existing trans- formation tools focus mainly on enforcing consistency only limited control...

About 5–10% of software engineers suffer from repetitive strain injury, and it would be better to provide an alternative way write code instead using a mouse keyboard sitting on chair the whole day. Coding by voice is attractive approach, quite bit work has been done in that direction. At same time, dictating plain Java text with low accuracy through existing recognition engines or providing complex panels controlled makes coding process even more complex. We argue current programming...

Download This Paper Open PDF in Browser Add to My Library Share: Permalink Using these links will ensure access this page indefinitely Copy URL DOI

Goal-oriented adaptation provides a powerful mechanism to develop self-adaptive systems, enabling systems keep satisfying user goals in dynamically changing environment. The goal-oriented approach normally reduces the planning as global optimization process and leaves system task of determining actions required achieve goals. However, high computation cost prevents from quickly adjusting itself environment at runtime, which is intolerable since efficiency utmost importance most systems. On...

In different stages of component-based software development (CBSD), various model notations have been applied with concerns. Architecture description languages (ADLs) proposed to specify the architecture from a high-level, while UML is widely accepted in detailed design. However, evolution frequently happens because dynamic environment and changeable requirements. For reuse availability concern, consistency between required. this paper, we propose bidirectional framework ensure...

In order to overcome the problems of low data reliability and long generation time traditional automatic methods software test data, an method based on improved Markov model is designed. Firstly, collect in different stages; Then, by calculating similarity collected remove with high similarity, calculate importance help entropy weight method, complete preprocessing; Finally, genetic algorithm, path variation factor are set, used automatically generate quality data. Experimental results show...

Due to various considerations, programmers often need backtrack their code. Furthermore, as the most recent edit may not be wrong edit, sometimes have code for arbitrary edits, which is referred selective undo in this paper. To meet needs, researchers proposed approaches support undo. However, best of our knowledge, these can only simple and cannot handle refactoring, although editors already provide refactoring actions. Indeed, it challenging since multiple elements complicated actions...

Electronic medical records (EMRs) are scattered in different hospitals, which hinders the process of data sharing. On other hand, people with roles should access parts data, thus we need a way to control accessibility. To address these issues, propose blockchain-based sharing system that gathers EMRs into blockchain and controls through bidirectional transformation. In our system, encoded carefully designed structure stores not only but also data's read/write permission for roles. We...

Considering the monitoring information of operation process machine tools, a maintenance decision model is established in this paper.Firstly, key parts tools obtained by using data acquisition system.Based on kurtosis value which are extracted from information, weibull proportional hazard (WPHM) proposed.In model, distribution regarded as failure rate function.Then, can be based WPHM.Finally, according to threshold conducted.The results show that not only improve availability greatly, but...

Coding by voice is an attractive approach for software engineers who suffer from repetitive strain injury, and quite a few work have been done. Most of existing approaches merely provide speech recognition surface that simply translates program fragment to text. We try solve this problem new perspective implementing voice-activated pro-gramming environment based on VSCode. What more, Java constructed in syntax-directed manner through sequence carefully designed commands recognized voice,...

In this paper, we describe several key problems in the design of a real 3D display system with sensors (RDSS) and details matching parameters to generate images.We also illustrate feasibility using light fields reconstruct images.Additionally, propose based on optical field reconstruction that solves fuzzy images low mechanical stability caused by scattering characteristics an display.We acquire through project them high-speed rotating mirror digital processing (DLP) after computer...