[PDF] Top 20 A survey on formal, object-oriented program development approaches

... McComb [47] proposed \annealing" and \coales- cence" rules as refactoring rules for Object-Z speci- cations. The former enables us to decompose one class into two, and the latter allows two classes, A and ... See full document

... between survey point and explosion source is the largest in the three direction components of vibration velocity, which is resulted from the difference of energy loss between different kinds of seismic wave in ... See full document

... pure object-oriented ...express formal properties of member methods in terms of preconditions, post conditions, and class in ...subclass object to a superclass pointer is provided with static ... See full document

... the survey of determinants of customer satisfaction, and that disconfirmation was the significant determinant of satisfaction （ Olson & Dover,1976; Bearden & Teel, 1983; Oliver, 1993 ） ... See full document

... the development of actual product and working process of excavator working device’s boom, the method of integrated design and analysis for excavator boom is put ...secondary development of ANSYS Workbench ... See full document

... This work was supported by the National Natural Science Foundation of China (21206053,21276111); General Financial Grant from China Postdoctoral Science Foundation (2012M511678); A Project Funded by the Priority Academic ... See full document

... MATLAB is launched by Mathworks Inc, USA in the mid-1980s, which is high-performance numerical software and is mainly used for algorithm development, scientific computing, and interactive program design. ... See full document

... these approaches on these randomly generated ...CSDP program to solve the associated semidefinite relaxation to obtain the optimal parameters for the convex ... See full document

... The main aim proposed in this work was to apply hybrid Edge Direction Matrixes and geometrical feature extraction method for on-line handwritten Arabic character recognition system, to i[r] ... See full document

... With the rapid development of information and communication technologies, electronic procurement has become very popular and commonly used by companies and governments. For buyers, e-procurement can bring out ... See full document

... The results obtained show that the proposed adaptively modulated MIMO beamforming system performs better than the conventional MIMO beamforming system with the same number of transmit an[r] ... See full document

... Operational trans-conductance amplifier OTA has the following characteristics: Input voltage controls the output current; the gain is the trans-conductance; input stage using the bias, c[r] ... See full document

... To overcome these issues, based on the artificial bee colony algorithm, a hybrid artificial bee colony algorithm HABC is proposed for constrained portfolio optimization problem in this p[r] ... See full document

... In this paper, we proposed a novel Bayesian framework for learning the dictionary and used the trained dictionary to reconstruct the MR images from highly under-sampled k-space data... J[r] ... See full document

... Width Modulation (PWM) signal using counters, comparators, and latching circuits implemented by Verilog HDL program based on FPGA is presented by [4] . New Type of PWM Peripherals In Nios II processor by alter was ... See full document

... system development technology, wireless sensor network technology, to build wireless communication technology, distributed intelligent information processing technology and object oriented software ... See full document

... And for the sake of demonstrating the algorithm by simulation compared with traditional, specific content is as follows: the second part, introduced OFDM system sparse channel model and [r] ... See full document

... computing program in MATLAB software environment based on the equivalent mechanism method of the forward Kinematics solution, the moving platform location parameters can be obtained by ... See full document

... the development of information technologies, E-commerce has developed rapidly and has become an important way for enterprises to win the competition in the ...rapid development of E-commerce [1], the ... See full document

... the development of the world's ...The development of the HFCVs economy is not an effective solution to the energy future, but a kind of important way to build resource-conserving and environment-friendly ... See full document