Sökning: "theory specification"

Visar resultat 1 - 5 av 110 avhandlingar innehållade orden theory specification.

  1. 1. Specifying and Operationalizing an Organizational Theory of Crowdsourcing

    Författare :John Prpic; Åsa Wallström; Jan Kietzmann; Mana Farshid; Luleå tekniska universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; crowdsourcing; organizations; theory specification; theory operationalization; theory validation; Industrial Marketing; Industriell marknadsföring;

    Sammanfattning : Introduction: Despite rapid developments across multiple areas of research and practice, an organizational-level theory of Crowdsourcing has yet to emerge.Objectives: Therefore, this thesis has two major objectives; 1) specify the boundaries, constructs, and relationships of an organizational-level theory of Crowdsourcing, and 2) begin the theoretical validation process by operationalizing the theory for new exploratory, explanatory, and conceptual research. LÄS MER

  3. 2. Specification of Resource Allocation Systems; a STEP towards a unified framework

    Författare :Petter Falkman; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Flexible manufacturing systems; supervisory control theory; supervis synthesis; specification; Resource allocation systems;

    Sammanfattning : In recent years growing demands on flexibility and ability to decrease time to market has made it increasingly important for engineering companies to find ways of making information exchange between product design and manufacturing systems design more efficient. A much shortened iteration cycle could be obtained ifinformation about product design solutions could be made instantly available for engineers involved in manufacturing systems design. LÄS MER

  4. 3. Essays on Econometric Theory

    Författare :Peter Jochumzen; Nationalekonomiska institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic theory; econometrics; Economics; measure of fit; unemployment insurance; non proportionality; stochastic frontier production function; diffusion of technology; Duration analysis; economic systems; economic policy; Nationalekonomi; ekonometri; ekonomisk teori; ekonomiska system; ekonomisk politik;

    Sammanfattning : This dissertation contains a variety of contributions to econometric theory. Broadly speaking, econometrics may be categorized depending on what type of data is being analyzed, the two main categories being time series data and cross sectional data. A third category is panel data, combining cross sectional data observed over time. LÄS MER

  5. 4. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

  7. 5. Theory Exploration for Programs and Proofs

    Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER