This position paper addresses some weaknesses of the standard logical languages used for specification of system models in combinatorial test design. To overcome these weaknesses, we propose a new logical language which uses visual elements with the aim to lower the cognitive load of the modeller and thereby reduce the risk of modelling errors
Our research focuses on the design of easily accessible languages to formalize at very high level th...
This thesis concerns the testing of the design of logic networks. It is shown that conventional t...
This paper aims at contributing to a better understanding of essential concepts of visual design aid...
We believe that the pragmatics and understanding of formal logic and also declarative programming la...
Abstract: Logical programming has many merits that should appeal to modellers. It enables declarativ...
The graphical nature of prominent modelling notations, such as the standards UML and SysML, enables ...
In this paper we investigate a new approach to formalizing interpretation of and reasoning with visu...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
This paper deals with problem-oriented visual languages used for solving design tasks during the con...
This paper offers general guidelines for the development of effective visual languages. That is, lan...
Since the advent of model checking it is becoming more common for languages to be given a semantics ...
Our research focuses on the design of easily accessible languages to formalize at very high level th...
This thesis concerns the testing of the design of logic networks. It is shown that conventional t...
This paper aims at contributing to a better understanding of essential concepts of visual design aid...
We believe that the pragmatics and understanding of formal logic and also declarative programming la...
Abstract: Logical programming has many merits that should appeal to modellers. It enables declarativ...
The graphical nature of prominent modelling notations, such as the standards UML and SysML, enables ...
In this paper we investigate a new approach to formalizing interpretation of and reasoning with visu...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Visual languages are studied in many different disciplines including Formal Logic. Several diagram m...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
This paper deals with problem-oriented visual languages used for solving design tasks during the con...
This paper offers general guidelines for the development of effective visual languages. That is, lan...
Since the advent of model checking it is becoming more common for languages to be given a semantics ...
Our research focuses on the design of easily accessible languages to formalize at very high level th...
This thesis concerns the testing of the design of logic networks. It is shown that conventional t...
This paper aims at contributing to a better understanding of essential concepts of visual design aid...