Search for dissertations about: "Model specification"

Showing result 1 - 5 of 286 swedish dissertations containing the words Model specification.

  2. 1. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

  4. 2. Specification of Dorsal and Intermediate Telencephalic Character

    Author : Matthew Marklund; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Molecular biology; telencephalon; forebrain; dorsoventral patterning; WNT; FGF; RA; retinoid-mediated signaling; development; specification; cortex; striatal; intermediate; Molekylärbiologi; Molecular biology; Molekylärbiologi; molekylärbiologi; Molecular Biology;

    Abstract : The telencephalon is the most highly evolved region of the vertebrate central nervous system (CNS). The major structures of the telencephalon - the cortex and basal ganglia – derive from the dorsally positioned pallium and the ventrally positioned subpallium, respectively. READ MORE

  5. 3. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation

    Author : Rüdiger Lincke; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Quality; Metrics; Quality Model; Meta-model; ISO 9126; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Abstract : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. READ MORE

  6. 4. Supporting Form Synthesis: Modeling Product Structure and Behavior in a Computerized Environment

    Author : Peter Schachinger; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; design support; Computer-Aided Design; product model; product design; functional modeling; form; specification; industrial design; engineering design; Virtual Reality;

    Abstract : Design of consumer products involves a high degree of uncertainty, especially at the beginning of a project. There therefore exists a need for more accurate decision-making in product synthesis. READ MORE

  7. 5. Methods for early design phases : a product modelling perspective

    Author : Peter Schachinger; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; product; structuring; specification; embodiment; function-means; concept; modelling; theory of technical systems; design; methodology; development; chromosome model;

    Abstract : .... READ MORE