Design of Formal Languages and Interfaces: “Formal” Does Not Mean “Unreadable”

View Sample PDF

Author(s): Maria Spichkova (RMIT University, Australia)
Copyright: 2014
Pages: 14
Source title: Emerging Research and Trends in Interactivity and the Human-Computer Interface
Source Author(s)/Editor(s): Katherine Blashki (Noroff University College, Norway)and Pedro Isaias (Portuguese Open University, Portugal)
DOI: 10.4018/978-1-4666-4623-0.ch015

Keywords: Human Aspects of Technology / Human-Computer Interaction / Information Science Reference / Social Sciences & Humanities

Purchase

View Design of Formal Languages and Interfaces: “Formal” Does Not Mean “Unreadable” on the publisher's website for pricing and purchasing information.

Abstract

This chapter provides an introduction to a work that aims to apply the achievements of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process. Formal methods often assume that only two factors should be satisfied: the method must be sound and give such a representation, which is concise and beautiful from the mathematical point of view, without taking into account any question of readability, usability, or tool support. This leads to the fact that formal methods are treated by most engineers as something that is theoretically important but practically too hard to understand and to use, where even some small changes of a formal method can make it more understandable and usable for an average engineer.

The IRMA Community

Research IRM

Design of Formal Languages and Interfaces: “Formal” Does Not Mean “Unreadable”

Purchase

Abstract

Related Content

IRMA Sponsors