An A-Team Based Architecture for Constraint Programming
Zheng, Yujun, Wang, Lianlai, Xue, Jinyun
Published in Agent Computing and Multi-Agent Systems (2006)
Published in Agent Computing and Multi-Agent Systems (2006)
Get full text
Book Chapter
Conference Proceeding
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach
Get full text
Book Chapter
Conference Proceeding
Improved Hybrid Collaborative Fitering Algorithm Based on Spark Platform
YOU, Zhen, HU, Hongwen, WANG, Yutao, XUE, Jinyun, YI, Xinwu
Published in Wuhan University journal of natural sciences (01.10.2023)
Published in Wuhan University journal of natural sciences (01.10.2023)
Get full text
Journal Article
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations
Get full text
Book Chapter
Conference Proceeding
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover
Huazhen Xu, Zhen You, Jinyun Xue
Published in 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) (01.05.2016)
Published in 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) (01.05.2016)
Get full text
Conference Proceeding
Verifying OSEK/VDX automotive applications: A Spin‐based model checking approach
Zhang, Haitao, Li, Guoqiang, Cheng, Zhuo, Xue, Jinyun
Published in Software testing, verification & reliability (01.05.2018)
Published in Software testing, verification & reliability (01.05.2018)
Get full text
Journal Article
An iteration‐based interactive analysis method to design dynamic service‐oriented systems
Xie, Wuping, Xue, Jinyun, Jiang, Dongming, Song, Lan
Published in Software, practice & experience (01.02.2018)
Published in Software, practice & experience (01.02.2018)
Get full text
Journal Article
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Year of Publication 2021
Get full text
Conference Proceeding
Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration
Wuping Xie, Jinyun Xue, Dongming Jiang
Published in 2014 IEEE International Conference on Computer and Information Technology (01.09.2014)
Published in 2014 IEEE International Conference on Computer and Information Technology (01.09.2014)
Get full text
Conference Proceeding
A Generative Approach to Searching Algorithmic Programs Development
Haihe Shi, Jinyun Xue
Published in 2011 Fifth International Conference on Theoretical Aspects of Software Engineering (01.08.2011)
Published in 2011 Fifth International Conference on Theoretical Aspects of Software Engineering (01.08.2011)
Get full text
Conference Proceeding
Generating Provably Correct Algorithmic Programs from Formal Specifications
Haihe Shi, Jinyun Xue
Published in 2010 10th International Conference on Quality Software (01.07.2010)
Published in 2010 10th International Conference on Quality Software (01.07.2010)
Get full text
Conference Proceeding
Problem Reduction Graph Model for Discrete Optimization Problems
Yujun Zheng, Jinyun Xue
Published in 2010 Third International Joint Conference on Computational Science and Optimization (01.05.2010)
Published in 2010 Third International Joint Conference on Computational Science and Optimization (01.05.2010)
Get full text
Conference Proceeding
An algebraic approach to mechanical tabu search algorithm generation
Yujun Zheng, Haihe Shi, Jinyun Xue
Published in 2010 IEEE International Conference on Progress in Informatics and Computing (01.12.2010)
Published in 2010 IEEE International Conference on Progress in Informatics and Computing (01.12.2010)
Get full text
Conference Proceeding