Paper Title:
The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos
  Abstract

Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. Generally, Formal methods need the support of formal description technique (FDT). Because the FDL has strict syntax and semantics. It is the realization of the abstract to the concrete, strictly, can be symbolic execution, unambiguous. E-LOTOS formal description is an important technology. This paper describes the design and the implement of the editor that support syntax highlighting of E-LOTOS. The editor is implemented using java Swing and JFlex.

  Info
Periodical
Advanced Materials Research (Volumes 225-226)
Edited by
Helen Zhang, Gang Shen and David Jin
Pages
1050-1053
DOI
10.4028/www.scientific.net/AMR.225-226.1050
Citation
X. Q. Guo, Y. L. Zhao, C. Ji, F. X. Jiang, L. L. Feng, "The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos", Advanced Materials Research, Vols. 225-226, pp. 1050-1053, 2011
Online since
April 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Hai Lang Liu, Cheng De Lin, Ai Zhen Wang
Abstract:With the constant development of numerical control technology, the development cycle and efficiency of CNC (computer numerical control)...
2875
Authors: Bao Guo Liu, Hai Feng Hua, Long Wang Yue, Xiao Ding Xu
Chapter 5: Data Processing, Computer and Information Technologies
Abstract:The STEP standard is an international standard for data expressing and exchanging during the whole life cycle of the product, the neutral...
1871
Authors: Yuan Da Wang, Tian Qi Yang
Chapter 6: Applied Information Technologies
Abstract:This paper implements Tiger compiler on Hacs language. This compiler is likely to perform many or all of the following operations: lexical...
325
Authors: Zheng Zhang, Hai Bo He, Hao Liang Lu
Chapter 5: Advanced Technologies in Modelling, Simulation and Optimization, Computation Methods and Algorithms, Intelligent Engineering Applications
Abstract:In order to satisfy the calculation requirements of nuclear power plant operating in different conditions, the integration and combination of...
2097