The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos
2011 ◽
Vol 225-226
◽
pp. 1050-1053
Keyword(s):
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.
2015 ◽
2015 ◽
2013 ◽
Vol 475-476
◽
pp. 1195-1200
2010 ◽
pp. 59-70