The Role of HCI in CASE Tools Supporting Formal Methods

doi 10.21236/ada465116
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

The Role of in Silico Tools in Supporting the Application of the Substitution Principle

Altex
MedicineMedical Laboratory TechnologyPharmacology
2015English

Role of Conferences in Shaping the Field of HCI

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Integrating the Strengths of Cognitive Emotion Models With Traditional HCI Analysis Tools

Universal Access in the Information Society
Computer NetworksSoftwareInformation SystemsHuman-Computer InteractionCommunications
2013English

SMT for State-Based Formal Methods: The ASM Case Study

English

The Formal and Informal Tools of Design Governance

Journal of Urban Design
DevelopmentArtsHumanitiesUrban StudiesPlanningGeography
2016English

The Role of Gesture in Supporting Mental Representations: The Case of Mental Abacus Arithmetic

Cognitive Science
Cognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
2017English

Creativity Support Tools: A Grand Challenge for HCI Researchers

2008English

PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools

CLEI Electronic Journal
2002English

A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy