Sökning: "specification"
Visar resultat 1 - 5 av 598 avhandlingar innehållade ordet specification.
1. Specification of Dorsal and Intermediate Telencephalic Character
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
2. Specification of Resource Allocation Systems; a STEP towards a unified framework
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
3. Specification of discrete event systems : with focus on resource allocation systems
Sammanfattning : .... LÄS MER
4. Formal Specification and Verification of Safety-Critical Software
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
5. Genetic mechanisms behind cell specification in the Drosophila CNS
Sammanfattning : The human central nervous system (CNS) contains a daunting number of cells and tremendous cellular diversity. A fundamental challenge of developmental neurobiology is to address the questions of how so many different types of neurons and glia can be generated at the precise time and place, making precisely the right connections. LÄS MER