object-oriented formal model
On Merging Object-Oriented Formal Specifications
... merged model and then checking consistency rules written using Relational Ma- nipulation Language ...each model as a graph and each mapping as a binary relation over two models equating their corre- ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... an object-oriented metrics, and also a scientific, logical way of ...GQM model are to provide software managers a model to achieve management goal, design a set of software measurement system, ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... the model proposed by Jacoby & Chestnut (1978), Oliver (1999) mentioned that loyalty presented as the consumers' attitudes firstly and then external purchasing behaviors, and that brand loyalty had 4 stages: ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The article discusses the spatial temporal characteristics of the Internet of Things, makes a description and classification of IOT intelligent terminals and non-intelligent terminals. Supposes that as the cloud ...
11
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... A prototype of RLC passive ladder filter can transform into the OTA-C filter. However, all of the OTA is nearly the OTA macro model, rather than use the transistor circuit. Thus the design of OTA is very ...
5
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... simulation model of its dynamic market structure. We take Lotka-Volterra model account into the evolutionary simulation model of the dynamic HFCVs market ...simulation model of the HFCVs ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... In the simulation platform of excavator’s boom, the parameterization of model is achieved through interactive interface of HTML as shown in Fig. 9. This interface is generated based on web and script language, ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... system identification, searches the optimal estimation of Wiener model in the whole parameters space. Compare the identification results of DE to PSO and QPSO, meanwhile, analysis shows that ADE is more advanced ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... channel model as the priori information, and its reconstruction algorithm can effectively reduce the computational complexity and the requirements of sampling ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The China telecom data network is a big complicated system. Building a unified security framework is necessary for security evaluation [2]. Over the years, ITU-T has been actively involved in telecommunications and ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Writing the 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 calculating. Eight ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... After the rapid growth of the late 20th century, Chinese telecom industry entered a stable stage of development till the 21 century .At this point, the traditional business of the telecommunication operators has been ...
10
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The World Wide Web is a huge, widely distributed, global information service center, covering news, advertising, consumer information, financial management, education, government, e- commerce and many other information ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The control system of 6WD articulated vehicle which includes feedforward controller, feedback controller, reference model and dynamic model is established in SIMULINK software (Fig.5). The yaw velocity and ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The test methods of time series long memory: empirical discriminates method based on the sample autocorrelation, R/S test, MR/S test, GYH test etc. R/S test is more sensitive on short memory of time series, and it tends ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... to model the sintering process (Wang [2002]), it is very difficult to obtain some important parameters in these models, which indicate the physical properties of the sinter ...
10
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The performance of the proposed vertical handoff algorithm (CPSVH), predictive SINR using GM (1,1) vertical handoff algorithm (PSVH) and multi-dimensional adaptive SINR based vertical handoff algorithm (MASVH) are ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... N-gram model suffers from three primary ...N-gram model is estimate the probability of these language phenomena ...N-gram model with the increase of corpus and the number of ...N-gram model ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... formalism model [4] to adapt and expand to any set of object-oriented metrics which are likely to be defined over the UML metamodel ...a model-driven measurement approach also called MDM ...
10
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... vehicle model. In our study, inputs of vehicle model are vehicle speed, acceleration and slope of the road and output of vehicle model is the required current of electric ...NN model of PEM ...
6