Sökning: "Compositional"

Visar resultat 1 - 5 av 275 avhandlingar innehållade ordet Compositional.

1. 1. Components, Safety Interfaces, and Compositional Analysis

   Författare :Jonas Elmquist; Simin Nadjm-Tehrani; Linköpings universitet; []
   Nyckelord :Component-based system development; safety-critical systems; safety interfaces; compositional analysis; modelbased development; TECHNOLOGY; TEKNIKVETENSKAP;

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

3. 2. Representation of Compositional Relational Programs

   Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

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

4. 3. Compositional optimization of large-scale discrete event systems

   Författare :Fredrik Hagebring; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete Event Systems; Automation; Large-scale optimization; Discrete Optimization; Compositional Optimzation;

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

5. 4. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

   Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

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

7. 5. Compositional controls on sandstone diagenesis

   Författare :Luiz Fernando De Ros; Uppsala universitet; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

   Sammanfattning : .... LÄS MER