A Visual Notation for Succinct Program Traces

2021 ◽  
Author(s):  
Divya Bajaj ◽  
Martin Erwig ◽  
Danila Fedorin ◽  
Kai Gay
Keyword(s):  
Program Traces ◽  
Visual Notation

scholarly journals A Visual Notation for the Representation of Assurance Cases Using SACM

2020 ◽  
pp. 3-18
Author(s):  
Nungki Selviandro ◽  
Richard Hawkins ◽  
Ibrahim Habli
Keyword(s):  
Assurance Cases ◽  
Visual Notation

scholarly journals The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae

2005 ◽  
pp. 557-568 ◽  
Author(s):  
Marco Brambilla ◽  
Alin Deutsch ◽  
Liying Sui ◽  
Victor Vianu
Keyword(s):  
Web Application ◽  
Visual Notation ◽  
Application Design

scholarly journals Modeling dialogue with mixed initiative in design space exploration

2006 ◽  
Vol 20 (2) ◽  
pp. 129-142 ◽  
Author(s):  
SAMBIT DATTA
Keyword(s):  
Design Space Exploration ◽  
Design Space ◽  
Space Exploration ◽  
Computer Assisted ◽  
Computational Tools ◽  
Computer Assisted Design ◽  
Multiple Threads ◽  
Space Formalism ◽  
Mixed Initiative ◽  
Visual Notation

Exploration with a generative formalism must necessarily account for the nature of interaction between humans and the design space explorer. Established accounts of design interaction are made complicated by two propositions in Woodbury and Burrow's Keynote on design space exploration. First, the emphasis on the primacy of the design space as an ordered collection of partial designs (version, alternatives, extensions). Few studies exist in the design interaction literature on working with multiple threads simultaneously. Second, the need to situate, aid, and amplify human design intentions using computational tools. Although specific research and practice tools on amplification (sketching, generation, variation) have had success, there is a lack of generic, flexible, interoperable, and extensible representation to support amplification. This paper addresses the above, working with design threads and computer-assisted design amplification through a theoretical model of dialogue based on Grice's model of rational conversation. Using the concept of mixed initiative, the paper presents a visual notation for representing dialogue between designer and design space formalism through abstract examples of exploration tasks and dialogue integration.

A New Morphological Notation for the Music of Humpback Whales

2015 ◽  
Vol 3 (3) ◽  
pp. 347-358 ◽  
Author(s):  
David Rothenberg ◽  
Michael Deal
Keyword(s):  
Human Perception ◽  
Humpback Whale ◽  
Humpback Whales ◽  
Inherent Characteristic ◽  
New Form ◽  
Visual Notation

The humpback whale sings a song that defies easy characterization and human perception. This paper attempts to develop a new form a visual notation for this song which enables humans to better perceive its musicality, tonality and morphology, combining elements of sonographic and musical notations. The beauty of the humpback whale song is considered as to whether it is an inherent characteristic or a human projection.

scholarly journals Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation

2006 ◽  
pp. 65-80 ◽  
Author(s):  
Marlon Dumas ◽  
Murray Spork ◽  
Kenneth Wang
Keyword(s):  
Interface Adaptation ◽  
Visual Notation ◽  
Service Interface

scholarly journals BPSL Modeler – Visual Notation Language for Intuitive Business Property Reasoning

2008 ◽  
Vol 211 ◽  
pp. 211-220 ◽  
Author(s):  
Ke Xu ◽  
Ying Liu ◽  
Cheng Wu
Keyword(s):  
Business Property ◽  
Visual Notation

Visual Notation: An Image Making Approach for Communication in Illustration Education

2019 ◽  
Vol 10 (2) ◽  
pp. 1-9
Author(s):  
Joanne Mignone ◽  
David Blaiklock
Keyword(s):  
Visual Notation
Sign in / Sign up

Export Citation Format

Share Document