( en | de | ru )

 

Disambiguierung von "Xue, Jinyun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.

, , , und . FM, Volume 4085 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xue Xue Zhang

Cheng Xue

Jia Xue

Min Xue

Xue Tao

 

Weitere Publikationen von Autoren mit dem selben Namen

Orchestration Combinators in Apla+ Language., und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 3-14. (2016)The Research and Application of Apla-Java Reusable Components., , , und . ISCSCT (1), Seite 356-359. IEEE Computer Society, (2008)Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations., , und . TAMC, Volume 3959 von Lecture Notes in Computer Science, Seite 601-610. Springer, (2006)Research on Formal Development of Non-recursive Algorithms of Graph Search., , und . SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 165-178. Springer, (2015)Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems., und . FAW, Volume 5598 von Lecture Notes in Computer Science, Seite 27-39. Springer, (2009)Formal Development and Verification of Reusable Component in PAR Platform., , , , und . SOFL+MSVL, Volume 12028 von Lecture Notes in Computer Science, Seite 155-166. Springer, (2019)Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover., , und . SNPD, Seite 13-18. IEEE Computer Society, (2016)Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration., , und . CIT, Seite 252-257. IEEE Computer Society, (2014)Formal Derivation of Two Algorithms Involving Sequences., und . ACIS-ICIS, Seite 287-291. IEEE Computer Society, (2011)A reputation model based on hierarchical bayesian estimation for Web services., , und . CSCWD, Seite 88-93. IEEE, (2012)