Sökning: "Sten Lindström"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Sten Lindström.

  1. 1. Testability of Dynamic Real-Time Systems

    Författare :Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik; Technology;

    Sammanfattning : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. LÄS MER

  2. 2. From Conceivability to Possibility : An Essay in Modal Epistemology

    Författare :Anders Berglund; Sten Lindström; Joseph Almog; Umeå universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Theoretical philosophy; Modal Epistemology; Teoretisk filosofi; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : This study deals with the thesis that conceivability implies possibility. Confronted with alleged counterexamples to this thesis, some philosophers have turned to what may be called “idealized” or “more demanding” notions of conceivability. LÄS MER

  3. 3. Objects and objectivity : Alternatives to mathematical realism

    Författare :Ebba Gullberg; Sten Lindström; John Cantwell; Umeå universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Philosophy of mathematics; mathematical realism; ontological realism; semantic realism; platonism; the semantic argument; the indispensability argument; the non-uniqueness problem; Benacerraf s dilemma; the irrelevance challenge; Field; Carnap; Balaguer; Yablo; the internal external distinction; fictionalism; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. LÄS MER

  4. 4. Den försiktiga kameleonten : europeisk socialdemokrati och brittiska labour

    Författare :Henry Pettersson; Sten Berglund; Henri Vogt; Ulf Lindström; Örebro universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Statsvetenskap; Socialism Europe; Social Democracy Europe; Reformism; Third Way; Socialism Great Britain; Labourism; Labour Party Great Britain; New Labour; party manifestos; statskunskap; Political science; Statsvetenskap; Political Science; Statskunskap;

    Sammanfattning : The first aim of this study is to examine the foundation, the conditions and the development of European Social Democracy. Its development is understood as a function of electoral behaviour and its interest in being the party of Government. European Social Democracy has moved from a leftwing position towards the centre. LÄS MER

  5. 5. In Virtue Of : Determination, Dependence, and Metaphysically Opaque Grounding

    Författare :Henrik Rydéhn; Matti Eklund; Sten Lindström; Dan López de Sa; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; grounding; metaphysical grounding; dependence; ontological dependence; determination; explanation; metaphysical explanation; essence; modality; fundamentality; metaphysical laws; reduction; supervenience; metaphysical structure; Theoretical Philosophy; Teoretisk filosofi;

    Sammanfattning : This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. LÄS MER