Essays about: "CALL software"

Showing result 6 - 10 of 96 essays containing the words CALL software.

  1. 6. IMPLEMENTING NETCONF AND YANG ON CUSTOM EMBEDDED SYSTEMS

    University essay from Högskolan i Halmstad/Akademin för informationsteknologi

    Author : Krister Georges; Per Jahnstedt; [2023]
    Keywords : NETCONF; MbedTLS; YANG; Embedded; SNMP; XML; HMS; IETF; IIoT; ABCC; Wireshark; TLS; Porting; RTOS; IoT; Interoperability; Networking; Security; Protocols; C C ; Embedded Linux; Configuration Management; Microcontroller; Microprocessor; Scalability; Hardware Interfaces; Hardware; Open source; QA; Data Modeling; System Integration; Automation;

    Abstract : Simple Network Management Protocol (SNMP) has been the traditional approach for configuring and monitoring network devices, but its limitations in security and automation have driven the exploration of alternative solutions. The Network Configuration Protocol (NETCONF) and Yet Another Next Generation (YANG) data modeling language significantly improve security and automation capabilities. READ MORE

  3. 7. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  4. 8. The Effect of Supporting AbbreviationResolution inCode Visualization Tools on CodeComprehension

    University essay from Mittuniversitetet/Institutionen för kommunikation, kvalitetsteknik och informationssystem (2023-)

    Author : Sven Englsperger Raswill; Anton Byström; [2023]
    Keywords : Code comprehension; Abbreviation resolving techniques; Code visualization tools; Doxygen; Identifier comprehension;

    Abstract :  Code comprehension is crucial for software development, as it ensures that code is easy to read andunderstand.Identifiers, such as variable-, function-, and methodnames playa significant role in code comprehension, and it isimportantthat they are written using meaningful names so thateveryone understands their usage. READ MORE

  5. 9. Demonstration of Digital Selective Call spoofing

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Axel Lindbäck; Yamha Javid; [2023]
    Keywords : Digital Selective Calling; Software Defined Radio; Spoofing; Cybersecurity; Maritime Communication Systems;

    Abstract : Digital Selective Calling (DSC) is a vital maritime communications and safety system, enabling ships in distress to alert nearby vessels and coast guard stations of their emergency. While DSC is suitable for calling, its technical format is substandard from a cybersecurity perspective. READ MORE

  6. 10. CodeViz - A Usability-Driven Call Graph Tool

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Pontus Gustafsson; Ibrahim Hazem; [2023]
    Keywords : call graph; usability; maintainability; comprehension;

    Abstract : Since the start of software, comprehension has always been an issue solved through various methods, such as bottom-up models or visualizing code, specifically graphs. They are used to obtain a bird’s-eye view and the execution path of the software. Although these tools exist, they must include important usability features. READ MORE