Bowman, H. (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. (Contact us about this Publication)|
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.
|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:||20 Apr 2012 11:37|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/13603 (The current URI for this page, for reference purposes)|
- Depositors only (login required):