设计目标之一清晰地表明，经过加密的XML数据应该用XML的形式表现。
One of the defined objectives clearly states that encrypted XML data should be represented in XML form.
经过严谨的设计与优化，确定结构形式为钢管混凝土连续拱桥。
After the strict design and optimization, it was confirmed that its form is the concreted continues arch bridge with steel pipe.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
应用推荐