This paper presents a solution for the java Refactoring Case of the 2015 Transformation Tool Contest. The solution utilises Eclipse JDT for parsing the source code, and uses a visitor to build the program graph. EMF-I...
详细信息
Creation of an automatic utility to determine the values of coefficients of higher order terms of Williams power series by usage of over-deterministic method applied to results of finite element analysis is a main goa...
详细信息
Creation of an automatic utility to determine the values of coefficients of higher order terms of Williams power series by usage of over-deterministic method applied to results of finite element analysis is a main goal of this research. The developed procedure based on the support of java programming language considerably simplifies analyses on optimization of selection of FE nodal results for improvement of accuracy of the near-crack-tip fields' approximation using Williams series.
Some programs can produce string expressions with embedded code in other programminglanguages while running. This embedded code should be syntactically correct as it is typically executed by some subsystem. A program...
详细信息
The tutorial aims at practitioners { researchers or develop- ers { who need to execute small scale performance experi- ments in java. The goal is to provide the attendees with a compact overview of some of the issues ...
详细信息
While modern java virtual machines are efficient and portable, they are also very complex software artifacts. Adapting or extending such a complex system within the scope of a university course is hardly an option. Fe...
详细信息
Software cost can be reduced if more software defects are detected earlier in the development phase. Motivated by the Extended Static Checking (ESC) technique, many programming errors have been discovered by ESC tools...
详细信息
ISBN:
(纸本)9781479980444
Software cost can be reduced if more software defects are detected earlier in the development phase. Motivated by the Extended Static Checking (ESC) technique, many programming errors have been discovered by ESC tools. In a typical ESC procedure, the source code of a program written in a high-level programminglanguage, e.g. java [1] or C#, Spec# [2], is translated into some logical imperative-style language, resp. Guarded Commands [1] or BoogiePL [2]. At the same time, associated annotated specifications which state constraints of the program are also translated into the same logical language. This two-fold translation phase induces code-interleaving phenomenon of annotated specification and program. The subsequent phases in ESC relies on the interleaving codes while there is a possibility that logical imperative codes translated from annotated specification may change behavior of the original program. This paper proposes a formal analysis approach of possible interaction between specification and program codes. It does not only show the range of specification categories which are safe in this ESC procedure, but also presents cases for potential ESC unsoundness.
Star is a functional, multi-paradigm and extensible programminglanguage that runs on the java platform. Starview Inc developed the language as an integral part of the Starview Enterprise Platform, a framework for rea...
详细信息
The state of a program at runtime is useful information for developers to understand a program. Omniscient Debugging and logging-based tools enable developers to investigate the state of a program at an arbitrary poin...
详细信息
The state of a program at runtime is useful information for developers to understand a program. Omniscient Debugging and logging-based tools enable developers to investigate the state of a program at an arbitrary point of time in an execution. While these tools are effective to analyze the state at a single point of time, they might be insufficient to understand the generic behavior of a method which includes various control-flow paths. In this paper, we propose REMViewer (Repeatedly-Executed-Method Viewer), or a tool that visualizes multiple execution paths of a java method. The tool shows each execution path in a separated view so that developers can firstly select actual execution paths of interest and then compare the state of local variables in the paths.
This paper proposes a computer numerical control approach by using a master/ slave control scheme for multi-axis machining tool. In server-side, a motion control chip of MCX314As is adopted for designing an embedded m...
详细信息
Mobile applications are monitored for performance check or tested for error correctness in respect of particular security properties. The more sensitive the information such as credit card, personal medical and privat...
详细信息
暂无评论