id: 05594525
dt: a
an: 05594525
au: Gao, Xiaolei
ti: The design and implementation of Z language editor.
so: Hua, Arrems (ed.) et al., Algorithms and architectures for parallel
    processing. 9th international conference, ICA3PP 2009, Taipei, Taiwan,
    June 8‒11, 2009. Proceedings. Berlin: Springer (ISBN
    978-3-642-03094-9/pbk). Lecture Notes in Computer Science 5574, 684-692
    (2009).
py: 2009
pu: Berlin: Springer
la: EN
cc: 
ut: formal method; Z language; OLE; editor; visualization
ci: 
li: doi:10.1007/978-3-642-03095-6_64
ab: Summary: This paper introduces the analysis, design and realization of the
    visual editor which supports Z language. It makes a detail of key
    technologies, including the input and output of special characters, the
    input and output of schema, the superscript and subscript and the
    optimized display of the text; the editor not only supports the
    processing of standard Z language but also provides input and output of
    a variety of graphics, simplifying editing and typesetting of Z
    language.
rv: