Skip to main content

Formal Methods Elsewhere

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . pp. 162-163. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)81053-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13603)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
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
DOI/Identification number: 10.1016/S1571-0661(05)81053-9
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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59 UTC
Last Modified: 16 Nov 2021 09:51 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/13603 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.