Visual Specification of Properties for Robotic Designs

Mapping Intimacies ◽

10.1007/978-3-030-92137-8_3 ◽

2021 ◽

pp. 34-52

Author(s):

Waldeck Lindoso ◽

Sidney C. Nogueira ◽

Renato Domingues ◽

Lucas Lima

Keyword(s):

Visual Specification

Download Full-text

Visual specification of branching time temporal logic

Proceedings of Symposium on Visual Languages ◽

10.1109/vl.1995.520786 ◽

2002 ◽

Author(s):

A. Del Bimbo ◽

L. Rella ◽

E. Vicario

Keyword(s):

Temporal Logic ◽

Branching Time ◽

Visual Specification

Download Full-text

A tool for visual specification and verification for secure process movements

eChallenges e-2015 Conference ◽

10.1109/echallenges.2015.7440971 ◽

2015 ◽

Author(s):

Yeongbok Choe ◽

Woorim Choi ◽

Gyeongeon Jeon ◽

Moonkun Lee

Keyword(s):

Specification And Verification ◽

Visual Specification

Download Full-text

The visual specification of context

Markup Languages Theory and Practice ◽

10.1162/109966201317356416 ◽

2001 ◽

Vol 3 (2) ◽

pp. 213-238

Author(s):

Anne Brüggemann-Klein ◽

Stefan Hermann ◽

Derick Wood

Keyword(s):

Visual Specification

Download Full-text

Visual specification, modeling, and illustration of complex systems

Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers ◽

10.1109/hicss.1999.772621 ◽

2003 ◽

Author(s):

C. Geiger ◽

G. Lehrenfeld ◽

W. Mueller

Keyword(s):

Complex Systems ◽

Visual Specification

Download Full-text

V-SAT: a visual specification and analysis tool for system-on-chip exploration

Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium ◽

10.1109/eurmic.1999.794466 ◽

1999 ◽

Author(s):

A. Khare ◽

N. Savoiu ◽

A. Halambi ◽

P. Grun ◽

N. Dutt ◽

...

Keyword(s):

System On Chip ◽

Analysis Tool ◽

On Chip ◽

Visual Specification

Download Full-text

The visual specification method making specifying IEC 61850 based system easier

11th IET International Conference on Developments in Power Systems Protection (DPSP 2012) ◽

10.1049/cp.2012.0113 ◽

2012 ◽

Author(s):

M.C. Janssen

Keyword(s):

Iec 61850 ◽

Specification Method ◽

Visual Specification

Download Full-text

Visual specification of multi-view visual environments

Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254) ◽

10.1109/vl.1998.706168 ◽

2002 ◽

Author(s):

J.C. Grundy ◽

W.B. Mugridgett ◽

J.G. Hosking

Keyword(s):

Visual Specification

Download Full-text

KIISS: a system for visual specification of model-based user interfaces

Proceedings 1998 Australasian Computer Human Interaction Conference. OzCHI'98 (Cat. No.98EX234) ◽

10.1109/ozchi.1998.732229 ◽

2002 ◽

Author(s):

F. Saiz ◽

J. Contreras ◽

R. Moriyon

Keyword(s):

User Interfaces ◽

Model Based ◽

Visual Specification

Download Full-text

Traffic Sequence Charts - A Formal Visual Specification Language for Requirement Capture and Specification Development of Highly Autonomous Cars

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.257.1 ◽

2017 ◽

Vol 257 ◽

pp. 1-2 ◽

Author(s):

Werner Damm

Keyword(s):

Specification Language ◽

Autonomous Cars ◽

Visual Specification

Download Full-text

Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access

Lecture Notes in Computer Science - Universal Acess in Human Computer Interaction. Coping with Diversity ◽

10.1007/978-3-540-73279-2_51 ◽

2007 ◽

pp. 453-462 ◽

Author(s):

Thomas Memmel ◽

Harald Reiterer ◽

Andreas Holzinger

Keyword(s):

Software Development ◽

Universal Access ◽

Agile Methods ◽

Visual Specification

Download Full-text