Essays about: "Embedded Annotations"

Showing result 1 - 5 of 6 essays containing the words Embedded Annotations.

  1. 1. Help Annotating Software “HAnS” - Visualisation

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Kenny Bang; Johan Berg; Seif Bourogaa; Lucas Frövik; Alexander Grönberg; Sara Persson; [2021-09-07]
    Keywords : Annotations; Features; Feature location; Visualisation; IntelliJ; Plugin; Software development;

    Abstract : Developing large software systems that are feature-oriented is a complex and time-consuming task that is further hindered by the recurring and repetitive undertaking of feature lookup. However, feature lookups’ inefficiency can be solved using embedded annotations that quickly and easily allow for recovery of features and their locations. READ MORE

  2. 2. Design and Assessment of an Engine for Embedded Feature Annotations

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Tobias Schwarz; [2021-03-03]
    Keywords : Embedded Annotations; Feature; Software Engineering; Software Product Line; Git; Partial Commits;

    Abstract : Features are an inherent unit of development of every software; and are defined as a set of implementation artifacts that constitute a functionality that adds value to the product, and is perceived useful by the customer. Locating features in source code is a typical software developer task, whether it before implementing a new feature, or maintaining and bug fixing of existing ones, as it is essential to know where to make changes. READ MORE

  3. 3. Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Daniel Skantz; [2021]
    Keywords : ;

    Abstract : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. READ MORE

  4. 4. Automatic Verification of Embedded Systems Using Horn Clause Solvers

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Anoud Alshnakat; [2019]
    Keywords : ;

    Abstract : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. READ MORE

  5. 5. Lightweight Three-Dimensional Visualization For Hybrid Systems Simulation

    University essay from Högskolan i Halmstad/Halmstad Embedded and Intelligent Systems Research (EIS)

    Author : yingfu zeng; [2012]
    Keywords : 3D Visualization; Simulation; Acumen;

    Abstract : Simulation plays a key role in the computer-aided design of systems, primarily because it helps in catching design bugs at an early stage and in quickly ruling out many unreasonable options in the design space. There is a wealth of tools and languages that have been proposed over the years for the design and verification of hybrid systems and most of them provide 3D visualization utility for facilitating design process. READ MORE