Sökning: "compositional system"

Visar resultat 1 - 5 av 90 avhandlingar innehållade orden compositional system.

1. 1. Towards Intent-Driven Systems

   Författare :Johan Silvander; Mikael Svahnberg; Andreas Jacobsson; Blekinge Tekniska Högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; business intent; business support system; intent-driven system; compositional system;

   Sammanfattning : Context: Software supporting an enterprise’s business, also known as a business support system, needs to support the correlation of activities between actors as well as influence the activities based on knowledge about the value networks in which the enterprise acts. This can be supported with the help of intent-driven systems. LÄS MER

3. 2. 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

4. 3. 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

5. 4. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration

   Författare :Seyed Hosein Attarzadeh Niaki; Ingo Sander; Christian Haubelt; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. LÄS MER

7. 5. 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