Keywords: Test case generation; Formal specification; Specification-based testing; Object orientation; Object-Z
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Formal development of multi-agent systems using MAZE
Keywords: Formal modelling; Object-Z; Refinement; Multi-agent systems;
Model evolution and refinement
Keywords: Evolution; Refinement; Formal methods; Object-Z; Refactoring
An approach to animate Object-Z specifications using C++
Keywords: Formal program development; Object-oriented programming; Animation; Object-Z; C++
A formal model of the Semantic Web Service Ontology (WSMO)
Keywords: Semantics Web Service; WSMO; Object-Z
Composing pattern-based components and verifying correctness
Keywords: Design pattern; Formal specification and verification; Integration; Modeling; Design component; Composition pattern; Temporal logic; Object-Z
Slicing techniques for verification re-use
Keywords: Verification; Slicing; Temporal logic; Object-Z;
Specification and (property) inheritance in CSP-OZ
Keywords: CSP; Object-Z; Failures divergence semantics; Inheritance; Safety and “liveness” properties; Model-checking; FDR;