There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
This paper describes a computerized collaborative testing environment in which students can take an assessment session in groups. For each question, an individual response is first...
Linguistics has always been a field with a great diversity of schools and sub-schools. This has naturally led to the question of whether different grammatical analyses of the sam...
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...