We believe that Conceptual Graphs fills a category of visual programming languages for those novice programmers who desire, to learn programming and who do not want or need a game-based system because Conceptual Graph...
详细信息
ISBN:
(纸本)9781424448760
We believe that Conceptual Graphs fills a category of visual programming languages for those novice programmers who desire, to learn programming and who do not want or need a game-based system because Conceptual Graphs map to programming language concepts
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, called explanation objects, can be manip...
详细信息
ISBN:
(纸本)9781424448760
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, called explanation objects, can be manipulated according to a set of laws to automatically generate many equivalent explanation instances. We argue that this increases the explanatory power of our language by allowing a user to view a problem from many different perspectives.
We present score programming features in the visual programming and computer-aided composition environment OpenMusic. The sheet object allows to build complex scores and fill or modify their contents algorithmically u...
详细信息
ISBN:
(纸本)9781457712456
We present score programming features in the visual programming and computer-aided composition environment OpenMusic. The sheet object allows to build complex scores and fill or modify their contents algorithmically using visual programs.
""Natural interaction is gaining widespread use, but more tools and techniques are required to fully support the takeup of gestural interaction. This research focus on providing an expressive an extensible f...
详细信息
ISBN:
(纸本)9781479903696
""Natural interaction is gaining widespread use, but more tools and techniques are required to fully support the takeup of gestural interaction. This research focus on providing an expressive an extensible framework and an executable domain-specific modelin""
""In this paper, the author discusses three techniques that will help end users find and fix performance problems in dataflow code. All of these techniques adapt the established concept of a ¡°bad ...
详细信息
ISBN:
(纸本)9781479903696
""In this paper, the author discusses three techniques that will help end users find and fix performance problems in dataflow code. All of these techniques adapt the established concept of a ¡°bad smell,¡± which is a heuristic for finding sections of code tha""
Shifting the focus from code to models in software development brings into view model-related tasks such as querying which are not very well supported by current CASE tools. Existing textual query languages like OCL a...
详细信息
ISBN:
(纸本)9781424448760
Shifting the focus from code to models in software development brings into view model-related tasks such as querying which are not very well supported by current CASE tools. Existing textual query languages like OCL are often not acceptable for domain modelers. Also, most query languages suffer from a mismatch between models, queries, and results. Die visual Model Query Language (VMQL) tries to overcome this by using a modeling language also as the query language and result presentation language.
In today's rapidly evolving technological landscape, blockchain technology stands out for its potential to revolutionize various industries by offering enhanced security, transparency, and decentralization. Howeve...
详细信息
Automatic layout is a key enabler for pragmatics-aware modeling, which refers to model-driven engineering with designer productivity in mind. This showpiece introduces an infrastructure for the integration of graph la...
详细信息
ISBN:
(纸本)9781479903696
Automatic layout is a key enabler for pragmatics-aware modeling, which refers to model-driven engineering with designer productivity in mind. This showpiece introduces an infrastructure for the integration of graph layout libraries and their configuration with regard to graphical views of modeling applications.
This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the grand challenge in software verification. The model is expressed in the visual Contract Language (VCL), a formal model...
详细信息
ISBN:
(纸本)9781467308502
This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the grand challenge in software verification. The model is expressed in the visual Contract Language (VCL), a formal modelling language that describes predicates visually. From VCL diagrams it is possible to generate Z specifications. This is the first visual and formal model of one of the software verification challenges.
Many domain specific textual languages have been developed for generating complex reports. These arc challenging for novice users to learn, understand and use. We describe our work developing the prototype of a new vi...
详细信息
ISBN:
(纸本)9781424448760
Many domain specific textual languages have been developed for generating complex reports. These arc challenging for novice users to learn, understand and use. We describe our work developing the prototype of a new visual language tool for a company to augment their textual report writing language. We describe key motivations for our visual language tool solution, its architecture, design and development using Microsoft DSL tools, and its evaluation by end-users.
暂无评论