Sökning: "Martin Howard"

Hittade 3 avhandlingar innehållade orden Martin Howard.

1. 1. Usefulness in Representation Design

   Författare :Martin Howard; Peter Wright; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   Sammanfattning : This dissertation outlines a perspective in Human Factors in which artifacts play a central, but subordinate role. It lies at the intersection of (a) influences from information systems development, (b) an ecological approach to cognition, (c) practical problems faced by human factors design in complex systems, and (d) methodological inspirations from industrial design and ethnography. LÄS MER

3. 2. Designing dynamic visualizations of temporal data

   Författare :Martin V. Howard; Linköpings universitet; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

4. 3. A Type Theoretical Analysis of Some Aspects of Programming Languages

   Författare :Verónica Gaspes; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We present three papers on the application of Martin-Löf's type theory to the analysis of programming languages. In the first paper, we present formal proofs in type theory of the combinatorial completeness of two calculi of combinators. The statement formulates the ability of the calculi to describe functions. LÄS MER