Sökning: "Formal methods"

Visar resultat 6 - 10 av 461 avhandlingar innehållade orden Formal methods.

  1. 6. Formal Methods for Testing Grammars

    Författare :Inari Listenmaa; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual inspection. LÄS MER

  3. 7. On Formal Methods in Development of Control Logic Using IEC 61499

    Författare :Goran Cengic; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

    Sammanfattning : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. LÄS MER

  4. 8. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers

    Författare :Alexey Voronov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Industrial Automation; Boolean Satisfiability; Product and Production Development;

    Sammanfattning : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. LÄS MER

  5. 9. User Consideration in Early Stages of Product Development : Theories and Methods

    Författare :Jenny Janhager; Margareta Norell Bergendahl; MariAnne Karlsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering design; Man-machine interaction; product development method; scenario technique; technical process; user; Konstruktionsteknik; Construction engineering; Konstruktionsteknik;

    Sammanfattning : Traditional design theories have focused on technical functions and more or less disregard a product’s user involvement. The existing methods of ergonomic designare mostly intended for analysis activities. There is a need for new dynamic methods that focus on user-product interactions. LÄS MER

  7. 10. Framing perceived values of education : when perspectives of learning and ICTs are related

    Författare :Lars Norqvist; Eva Leffler; Isa Jahnke; Roger Säljö; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning; ICTs; Education; Perceived value; Dialogue; Dialogic perspective; Perceived values of learning; Perceived values of education; Learning situations; Formal education; Non-formal education; Perceived value framework; Photo interviews; Formal learning; Non-formal learning; Informal learning; Information; Communication; Technology; ICT.; pedagogiskt arbete; educational work;

    Sammanfattning : This thesis offers dialogue about the relations between learning and Information and Communication Technologies (ICTs). The dialogue is guided by the question of how to design education to increase perceived values of learning. LÄS MER