Jinyun Xue

Clust. Comput., 2016

Orchestration Combinators in Apla+ Language.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Formal Development of Linear Structure Reusable Components in PAR Platform.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.

[BibT_eX]

[DOI]

Huazhen Xu

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

2015

Genericity in PAR Platform.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Research on Formal Development of Non-recursive Algorithms of Graph Search.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Formal Semantics of Orc Based on TLA<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration.

[BibT_eX]

[DOI]

Wuping Xie

Dongming Jiang

Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory.

[BibT_eX]

[DOI]

J. Softw., 2013

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

[BibT_eX]

[DOI]

Changjing Wang

J. Networks, 2013

Preface.

[BibT_eX]

[DOI]

Volker Stolz

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

2012

A reputation model based on hierarchical bayesian estimation for Web services.

[BibT_eX]

[DOI]

Dongming Jiang

Wuping Xie

Proceedings of the IEEE 16th International Conference on Computer Supported Cooperative Work in Design, 2012

2011

A Generative Approach to Searching Algorithmic Programs Development.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Derivation of Two Algorithms Involving Sequences.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

A problem reduction based approach to discrete optimization algorithm design.

[BibT_eX]

[DOI]

Computing, 2010

Generating Provably Correct Algorithmic Programs from Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.

[BibT_eX]

[DOI]

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

Categorial Semantics of a Solution to Distributed Dining Philosophers Problem.

[BibT_eX]

[DOI]

Shi Ying

Proceedings of the Frontiers in Algorithmics, 4th International Workshop, 2010

2009

A simple greedy algorithm for a class of shuttle transportation problems.

[BibT_eX]

[DOI]

Chuanqing Xu

Optim. Lett., 2009

A-Team Based Supply Chain Management Agent Architecture.

[BibT_eX]

[DOI]

Jinquan Wang

Int. J. Artif. Intell. Tools, 2009

Toward an Automatic Approach to Greedy Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.

[BibT_eX]

[DOI]

Changjing Wang

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2008

Implementing Templated Design Patterns: A Category Theoretic Approach.

[BibT_eX]

Int. J. Comput. Their Appl., 2008

The Research and Application of Apla-Java Reusable Components.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A Linear In-situ Algorithm for the Power of Cyclic Permutation.

[BibT_eX]

[DOI]

Bo Yang

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

A Mechanical Approach for Deriving Algorithmic Programs.

[BibT_eX]

[DOI]

Dawei Du

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

Generating Algorithms plus Loop Invariants by Formal Derivation.

[BibT_eX]

[DOI]

Dawei Du

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

[BibT_eX]

J. Digit. Inf. Manag., 2007

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Agent Based Framework for Emergency Rescue and Assistance Planning.

[BibT_eX]

[DOI]

Jinquan Wang

Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2007

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.

[BibT_eX]

[DOI]

Weibo Liu

Proceedings of the Theory and Applications of Models of Computation, 2006

An A-Team Based Architecture for Constraint Programming.

[BibT_eX]

[DOI]

Lianlai Wang

Proceedings of the Agent Computing and Multi-Agent Systems, 2006

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Formal automatic verification of security protocols.

[BibT_eX]

[DOI]

Meihua Xiao

Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2001

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.

[BibT_eX]

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

1998

Formal derivation of graph algorithmic programs using partition-and-recur.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1998

1997

A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.

[BibT_eX]

Ruth Davis

Softw. Concepts Tools, 1997

A unified approach for developing efficient algorithmic programs.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1997

A Simple Program whose Derivation and Proof is Also.

[BibT_eX]

[DOI]

Ruth Davis

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1993

Two new strategies for developing loop invariants and their applications.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1993

1988

Developing a Linear Algorithm for Cubing a Cyclic Permutation.

[BibT_eX]

[DOI]

David Gries

Sci. Comput. Program., 1988

Generating a Random Cycle Permutation.

[BibT_eX]

[DOI]

David Gries