Through the research on the division standard of active conduct and negative conduct,prohibition criterion and command criterion,the paper thought that criterion theory is right.

The specification phase is of great importance to the whole process of the software development, which is always considered as part of the requirement system.

B method is one of the most popular formal methods at present,which supports the whole lifecycle of software development process,from specification to code generation.

With precise mathematical semantics,formal methods support accurate specification and rigor verification for software systems.

Discusses the Crime Essence Theory Choice under the Context of China's rule of Law——Advocating of the theory of violating norms

There are some defects in the theory of violating legal interests,which requires that we should correctly interpret the criminal law when we take the theory of violating norms into consideration.

The author thinks that in our country though nobody claims the theory of normviolation, there exists ideas and practices on the theory of norm violation.

Subjective malign theory has long history and it mainly connotes the theory of obligation infringement,the theory of norm violation and the theory of moral harms.