Search for dissertations about: "Compositional"
Showing result 1 - 5 of 261 swedish dissertations containing the word Compositional.
-
1. Components, Safety Interfaces, and Compositional Analysis
Abstract : Component-based software development has emerged as a promising approach for developing complex software systems by composing smaller independently developed components into larger component assemblies. This approach offers means to increase software reuse, achieve higher flexibility and shorter time-to-market by the use of off-the-shelf components (COTS). READ MORE
-
2. Representation of Compositional Relational Programs
Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE
-
3. Compositional optimization of large-scale discrete event systems
Abstract : Optimization of industrial processes such as manufacturing cells can have great impact on their performance. Finding optimal solutions to these large-scale systems is, however, a complex problem. They typically include multiple subsystems, and the search space generally grows exponentially with each subsystem. READ MORE
-
4. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory
Abstract : 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. READ MORE
-
5. Compositional controls on sandstone diagenesis
Abstract : .... READ MORE