Sökning: "Java program"

Visar resultat 1 - 5 av 35 avhandlingar innehållade orden Java program.

  1. 1. Debloating Java Dependencies

    Författare :César Soto Valero; Benoit Baudry; Martin Monperrus; Diomidis Spinellis; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software debloating; software dependencies; Java bytecode; package manager; static program analysis; dynamic program analysis; Datalogi; Computer Science;

    Sammanfattning : Software systems have a natural tendency to grow in size and complexity. A part of this growth comes with the addition of new features or bug fixes, while another part is due to useless code that accumulates over time. LÄS MER

  3. 2. Towards Development of Safe and Secure Java Card Applets

    Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Sammanfattning : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. LÄS MER

  4. 3. Runtime Service Composition via Logic-Based Program Synthesis

    Författare :Sven Lämmermann; KTH; []
    Nyckelord :service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

    Sammanfattning : .... LÄS MER

  5. 4. Tailoring native compilation of Java for real-time systems

    Författare :Anders Nilsson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems; numerical analysis; Java; embedded systems; real-time; aspect-oriented; object-oriented; Computer science; compiler construction; control; Datalogi; numerisk analys; system; kontroll;

    Sammanfattning : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded systems software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. LÄS MER

  7. 5. Proving and Disproving in Dynamic Logic for Java

    Författare :Philipp Rümmer; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; theorem proving; disproving; dynamic logic; program verification; testing;

    Sammanfattning : This thesis is about proving the functional correctness and incorrectness of imperative, object-oriented programs. One of the main approaches for the first item is deductive program verification, whereas the second item is traditionally handled by techniques like testing. LÄS MER