Search for dissertations about: "Specification"
Showing result 1 - 5 of 579 swedish dissertations containing the word Specification.
-
1. Specification of Dorsal and Intermediate Telencephalic Character
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
-
2. Specification of Resource Allocation Systems; a STEP towards a unified framework
Abstract : 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. READ MORE
-
3. Specification of discrete event systems : with focus on resource allocation systems
Abstract : .... READ MORE
-
4. Formal Specification and Verification of Safety-Critical Software
Abstract : 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. READ MORE
-
5. Genetic mechanisms behind cell specification in the Drosophila CNS
Abstract : 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. READ MORE