Association for Computing Machinery (ACM) - Parameterising a Theory of Software Problem Solving

2016 IEEE/ACM 5th International Workshop on Theory-Oriented Software Engineering (TOSE)

Author(s): Jon G. Hall ; Lucia Rapanotti
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 May 2016
Conference Location: Austin, TX, USA
Conference Date: 15 May 2016
Page(s): 22 - 25
ISBN (Electronic): 978-1-4503-4174-5
DOI: 10.1109/TOSE.2016.012

We explore what can be said about the detailed modelling of problem solving ability via a stochastic semantics of a theory of software problem solving, and end with an invitation to discuss... View More