Si Pan

Learn More
Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are needed to make significant gains in the quality of software. Practical proposals, based on the definition of normal forms which have a(More)
Loops with multiple-exits and flags detract from the quality of imperative programs. They tend to make control-structures difficult to understand and, at the same time, introduce the risk of non-termination and other correctness problems. A systematic, generally applicable procedure, called loop rationalization, which removes such features and simplifies(More)
The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on calculation of strongest postconditions of program components. The method provides a powerful means for detecting and removing by transformation various forms of redundancy and(More)
There is increasing evidence that nicotine is involved in learning and memory. However, there are only few studies that have evaluated the relationship between nicotine and memory reconsolidation. In this study, we investigated the effects of nicotine on the reconsolidation of novel object recognition memory in rats. Behavior procedure involved four(More)
  • 1