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

Abstract:

Article Preview

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 et al., "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:

$38.00

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

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

[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.

[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

[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

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

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