DECODER project partners

Table of content

  1. Introduction
    1. Purpose
    2. Licensing
    3. Choosing a database
    4. Overall organization of the document
  2. Configuration & Installation
    1. Configuration (optional)
    2. Easy installation (no build required)
    3. Minimal Docker installation
      1. Setting up administrators’ credentials (optional)
      2. Building the docker images
      3. Starting the docker services
  3. PKM server architecture
    1. Software layers
    2. MongoDB database
      1. Project management
      2. Files
      3. Source Code
        1. Abstract Syntax Trees (ASTs)
        2. Comments
        3. Annotations
      4. UML classes & state machines
      5. Abstract Semi-Formal Model (ASFM) and Graphical documentation (in GSL)
      6. Compile commands
      7. Common Vulnerabilities and Exposures (CVE)
      8. Annotations
      9. Traceability Matrix
      10. Logs and reports
      11. TESTAR
      12. Reviews
      13. Git support
      14. Process Engine
    3. Application Programming Interfaces
      1. Javascript SDK
        1. Session management
        2. Document management
        3. Document querying
        4. Dependent document invalidation
        5. Document validation
        6. File system I/O
        7. Tools invocation
      2. Command Line Interface (CLI)
      3. REST API
  4. Git support
    1. Introduction
    2. Terminology
    3. Safety & Security
    4. User’s credential “wallet”
    5. Operations
  5. Parsers
    1. Source codes
      1. C
      2. C++
      3. Java
    2. Documentation
      1. Microsoft Office .docx
      2. Code to ASFM
    3. UML
      1. Classes
      2. State Machines
    4. Executable binaries
      1. DWARF debugging information
  6. Conclusion

List of Figures