Formal Methods Elsewhere

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . 162-163 . ISSN 1571-0661. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/S1571-0661(05)81053-9

Abstract

The FM-Elsewhere workshop, co-located with FORTE-PSTV-2000 in Pisa, was a forum for researchers interested in the application of formal methods to virtually any area of research, except communication protocols and software engineering. The talks included in the workshop covered the spectrum of FM-Elsewhere areas. In particular, applications of formal methods to all the following areas were considered, safety analysis of cockpit interfaces; solving games and puzzles using state space exploration techniques; modelling theories of the mind; usability anaylsis of human computer interfaces; formal definition of linguistic systems; and modelling in mechanics and physics.

Item Type: Article
Additional information: A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering
Uncontrolled keywords: Formal Methods, Psychology, HCI, Linguistics, Mechanics, Puzzles, Games
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59
Last Modified: 12 May 2014 13:44
Resource URI: http://kar.kent.ac.uk/id/eprint/13603 (The current URI for this page, for reference purposes)
  • Depositors only (login required):