model-oriented formal methods
Using Lightweight Formal Methods to Model Class and Object Diagrams
... Object-Z is an extension of Z language that includes object-oriented con- cepts (inheritance, polymorphism and encapsulation among others). This lan- guage is used in [20] to specify the syntax of class diagrams. ...
20
On Merging Object-Oriented Formal Specifications
... OO formal specifications was proposed in this ...both formal and OO methods, which makes the proposed merging approach useful for a wide range of ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... two methods to work out forward kinematics solution respectively, and all results can be drawn corresponding to the three- dimensional model to further verify the correctness of the ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... A variety of CAD/CAE integration methods have been proposed so far[1-6]. They made a lot of efforts to integrate CAD and CAE closely, ideally and seamlessly, whether CAD and CAE application can be closely ...
6
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 B, to ...
17
Towards a formal method for distributed object oriented systems
... the model of concurrency matches that of the target systems: there is no limit on the number of concurrent processes running at an ...to model the target ...the methods of an Oompa object can ...
375
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Most of Arabic handwriting recognition in the literature has focused only on recognizing offline script, and few of research take online case. So it's still remains as an active area of research. however there is a lack ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... system model for MIMO beamforming mode is developed for a 2x2, 3x3 and 4x4 antenna systems configuration in the presence of frequency selective Rayleigh fading ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... However, these duties or responsibilities are: 1 Duty to provide a reliable and accessible conduit for traffic and services 2 Duty to provide authentic and authoritative routing informat[r] ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... system model with UPFC, the simulations have been performed in MATLAB/SIMULINK platform in order to evaluate the effects of UPFC on transient stability performance of the ...
10
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... computer without the victim’s consent. Currently, techniques such as packing, encrypting and obfuscation are the popular methods that malware authors use to hide the malware’s malicious functions [3]. These ...
11
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The unified theory of acceptance and use of technology (UTAUT) proposes that performance expectancy, effort expectancy, and social influence predict behavioral intention towards the acceptance of information technology. ...
11
Formally Designing Web Services for Mobile Team Collaboration
... We presented an attempt to introduce web services into an existing platform, MOTION for mobile team collaboration. The messaging part of this middleware was considered and a formal specification constructed. ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The stack voltage is generated by Neural Network model, as can be seen in Figure 8. In this figure, the generated data of the NN model shows good consistency with the referenced model (PEM Fuel Cell ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... It is well known that a convex reformulation using the smallest eigenvalue method is computationally expensive, because the complexity of the problem for finding eigenvalues of the matrix increases rapidly with ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Meng-Yen Hsieh et al. [8] have presented a model with a cluster-based multimedia service. They have also proposed a probability measure for predicting stable and reliable transmission of multimedia streaming. They ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... together and in order to achieve different distant interactions on the space of production. The main aim of this work is to set up a formal frame for the coordination of a cooperative a distant work. To be able to ...
5
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... mean-variance model is constructed for the portfolio optimization problems. The model is a mixed quadratic integer programming problem, and it is too hard to solve by using the traditional optimal ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... object oriented software development technology, based on the oxygen content in water, pH value, heavy metal ion content of automatic measurement, water quality monitoring, data on abnormal automatic warning, for ...
5
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Virtual Test Bench is an experimental platform designed on the base of MATLAB GUI; it achieves the desired effect by GUI design panel and calling the MATLAB program for simulation [1] . This will greatly save the drawing ...
6