Sökning: "instantiation"

Visar resultat 11 - 15 av 39 avhandlingar innehållade ordet instantiation.

  1. 11. Incorporating Functional Safety in Model-based Development of Product Lines

    Författare :Stephan Baumgart; Sasikumar Punnekat; Rolf Johansson; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Product lines in industry are often based on an engineer’s focus on fast and feasible product instantiation rather than a precise product line development method and process as described in literature. When considering functional safety, we need a precise model that includes evidence for the safety of each variant of the product. LÄS MER

  3. 12. Formal Specification and Verification of Safety-Critical Software

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

  4. 13. Beyond the Minefield : Mining, Development, and Open Moments in Northern Sweden

    Författare :Arvid Stiernström; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : In recent years mining has taken centre stage in rural development. In part, this is a consequence of the ‘green transition’, where the demand for minerals to develop new energy systems is increasing dramatically. LÄS MER

  5. 14. From family language practices to family language policies : Children as socializing agents

    Författare :Mina Kheirkhah; Asta Cekaite; Helena Bani-Shoraka; Elizabeth Lanza; Linköpings universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Family language policy; multilingualism; language socialization; Familj språkpolicy; flerspråkighet; språk socialisation;

    Sammanfattning : combining approaches to family language policy with a language socialization approach, the present thesis examines family interoctions in five bi/multilingual lronian families in Sweden. The foci of the thesis have emerged from viewing and analyzing video-recordings of the families' everyday interactions, interviews and observations conducted during two phases of fieldwork. LÄS MER

  7. 15. Seeing Nature as Creation : How Anti-Cartesian Philosophy of Mind and Perception Reshapes Natural Theology

    Författare :Mats Wahlberg; Arne Rasmusson; John Haldane; Umeå universitet; []
    Nyckelord :natural theology; knowledge of God; philosophy of mind; perception; John McDowell; epistemological disjunctivism; problem of other minds; expression; postliberal theology; postsecular theology; Philosophy of Religion; religionsfilosofi;

    Sammanfattning : This dissertation constructively explores the implications for natural theology of (especially) John McDowell’s anti-Cartesian philosophy of mind and perception. Traditionally, an important element within natural theology is the idea that nature testifies to its creator, thereby making knowledge of a creator available to humans. LÄS MER