Sökning: "Artifacts"

Visar resultat 11 - 15 av 389 avhandlingar innehållade ordet Artifacts.

  1. 11. Work-oriented design of computer artifacts

    Författare :Pelle Ehn; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; design; computer; work; industrial democracy; skill; tool; labor process; language-game; Scandinavia;

    Sammanfattning : This thesis is an inquiry into the human activity of designing computer artifacts that are useful to people in their daily activity at work. The emphasis is on opportunities and constraints for industrial democracy and quality of work.First, the philosophical foundation of design of computer artifacts is con­sidered. LÄS MER

  3. 12. Facets of Fun: On the Design of Computer Augmented Entertainment Artifacts

    Författare :Sus Lundgren; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; game mechanics; animal expression transfer; Game Design Patterns; the Iron Horse; design tools; remnants; slow technology; the Forces-Clashes-Remnants model; clashes; myTHeme; Interactive entertainment artifacts; forces; the Interactive Quilt; MultiMonsterMania; The Hatchery;

    Sammanfattning : This thesis discusses the design of interactive entertaining artifacts such as computer games and computer augmented toys, games and objects. The aim has been to find and/or develop design tools i.e. LÄS MER

  4. 13. Renderings & reasoning: studying artifacts in human knowing

    Författare :Jonas Ivarsson; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : Not available.... LÄS MER

  5. 14. Semantic Inspection of Software Artifacts From Theory to Practice

    Författare :Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

    Sammanfattning : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. LÄS MER

  7. 15. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Författare :Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER