Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...
Jonathan Buckner, Joseph Buchta, Maksym Petrenko, ...
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
Grants are offered for faculty to develop technology courseware projects in universities including Hangzhou Dianzi University (HDU). One of the important factors in courseware deve...
Wei-hua Hu, Jiang-tao Du, Qi-li Zhou, Dao-ping Hon...
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...