The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos

Xiao Qing Guo; Yu Lan Zhao; Chao Ji; Feng Xian Jiang; Le Le Feng

doi:10.4028/www.scientific.net/AMR.225-226.1050

Paper Titles

A Data Stream Outlier Detection Algorithm Based on Reverse K Nearest Neighbors
p.1032

Strategy Research on Textile and Garment Export in Jiangsu Province
p.1036

Image Segmentation Based on Wavelet Transform
p.1041

Investigation Research on Financing Situation of SMEs in Jiangsu Province
p.1045

The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos
p.1050

Location-Transparent Mobile Agent Communication
p.1054

Mobile Law Enforcement System for Industry and Commerce Bureau Based on Windows Mobile Platform
p.1059

X3D-Based Virtual Good Presentation on Mobile Device
p.1063

A Kind of Remote Intellectualized System in Water Quality Analyzing
p.1067

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 225-226The Design and Implementation of a Editor that...

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.

You might also be interested in these eBooks

Advanced Research on Automation, Communication, Architectonics and Materials

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 225-226)

Pages:

1050-1053

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.225-226.1050

Citation:

Cite this paper

Online since:

April 2011

Authors:

Xiao Qing Guo, Yu Lan Zhao, Chao Ji, Feng Xian Jiang, Le Le Feng

Keywords:

Editor, E-LOTOS, Syntax Highlighting

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Yang guoping. The deign and implementation of a editor that supports syntax highlighting of E-LOTOS, Inner Mongolia University, 2008 Master's paper.

Google Scholar

[2] archive. comlab. ox. ac. uk/formal-methods. html.

Google Scholar

[3] A. Hall, Seven Myths of Formal Methods, IEEE Software, vol. 7, no. 5, Sept. 1990, p.11–9[]Cay S. Horstman and Gary Cornell . Core Java 2: Volume 1-Fundamentals, Fifth Edition, Prentice Hall PTR, December 01, 2000, 424-429.

Google Scholar

[4] J. P. Bowen and M. G. Hinchey, Seven More Myths of Formal Methods, IEEE Software, vol. 12, no. 4, July 1995, p.34–41.

DOI: 10.1109/52.391826

Google Scholar

[5] J. P. Bowen and M. G. Hinchey, Ten Commandments of Formal Methods, IEEE Computer, vol. 28, no. 4, April 1995, p.56–63.

DOI: 10.1109/2.375178

Google Scholar

[6] E. M. Clarke and R. P. Kurshan, Computer-Aided Verification, IEEE Spectrum, vol. 33, no. 6, 1996, p.61–7.

Google Scholar