( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.

, , , и . FM, том 4085 из Lecture Notes in Computer Science, стр. 190-204. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Xue Xue Zhang

Cheng Xue

Jia Xue

Min Xue

Yida Xue

 

Другие публикации лиц с тем же именем

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach., , , и . Softw. Test. Verification Reliab., (2018)A-Team Based Supply Chain Management Agent Architecture., , и . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)Two new strategies for developing loop invariants and their applications.. J. Comput. Sci. Technol., 8 (2): 147-154 (1993)Formal Development of Linear Structure Reusable Components in PAR Platform., , и . SOFL+MSVL, том 10189 из Lecture Notes in Computer Science, стр. 85-97. (2016)Genericity in PAR Platform.. SOFL+MSVL, том 9559 из Lecture Notes in Computer Science, стр. 3-14. Springer, (2015)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, стр. 159-169. (2001)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , и . Clust. Comput., 19 (4): 2145-2156 (2016)Strict Linearizability and Abstract Atomicity., , , , и . Int. J. Found. Comput. Sci., 32 (1): 1-35 (2021)A reputation model based on hierarchical bayesian estimation for Web services., , и . CSCWD, стр. 88-93. IEEE, (2012)A Mechanical Approach for Deriving Algorithmic Programs., , и . ACIS-ICIS, стр. 483-487. IEEE Computer Society, (2008)