1, Thus as a formal method of scrutiny it has little value.

2, There has always been a need for a formal method to communicate this design, and a system to validate that communication.

3, The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.

4, Integration of formal method into high - confidence software engineering was studied.

5, But even if you are not using a formal method that requires refactoring, Eclipse's refactoring tools provide a time-saving way to make common types of code changes.

6, A formal method for compliant test of Trusted Cryptography Module(TCM) is proposed in this paper, which uses EFSM and testing vectors to build the formal model of TCM's standard.

7, XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.

8, This paper presents a formal method adaptable to computer process in railway signal knowledge to replace logic relation manner disposed by relay circuit.

9, The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.

10, So far, formal method is still one of the most effective methods to detect feature interaction problems.

11, Formal method is an important approach for construction of the trustworthy software.

12, In the formal method, one would say, " Please turn your attention to this over here. "

13, Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.

14, First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed.

15, Combination of modeling based on UML and modeling based on formal method is one of the good solutions for verification and modeling of embedded real-time software.

16, In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.

17, Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.

18, Regardless, the practices can offer great dividends in quality, whether adopted on their own, or as part of a broader, more formal method adoption.

19, Formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method.

20, Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.

21, If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.

22, To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method.

23, Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.

24, Because traditional program slicing methods lack modularity and flexibility,[http:///formal method.html] we had proposed a new formal method for program slicing—modular monadic slicing.

25, The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.

26, To show practicability of the new noninterference model and the formal method, the security properties of ABLP and DBLP models are examined as examples.

27, Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique.