Sökning: "Model specification"

Visar resultat 1 - 5 av 290 avhandlingar innehållade orden Model specification.

  1. 1. Regular Model Checking

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

    Sammanfattning : 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. LÄS MER

  3. 2. Specification of Dorsal and Intermediate Telencephalic Character

    Författare :Matthew Marklund; Umeå universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Peter Schachinger; Chalmers tekniska högskola; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : .... LÄS MER