Search
Now showing items 1-4 of 4
Reasoning about formal software specifications : an initial investigation
(University of Hertfordshire, 1996)
Within the software engineering community, it is widely believed that formal logic based notations could hold the key to overcoming some of the classical problems associated with program specification. Over the past three ...
Seven lesser known myths of formal methods : uncovering the psychology of formal specification
(University of Hertfordshire, 1996)
Psychological research has shown that people are prone to systematic errors when reasoning about logical statements in natural language. The Human Cognition and Formal Methods research project aims to test whether people ...
Resources, dimorphism, sexual selection and mathematics achievement
(1996)
Geary's model is a worthy effort, but ambiguous on important issues. It ignores differential resource allocation, although this follows directly from sexual selection via differential parental investment. Dimorphism in ...