Search Results - "Computer software"

Refine Results
  1. Cover Image

    Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

    Published 2012
    Subjects: “…Computer software -- Development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Design of a distributed satellite ground system by Barry, Richard Malan

    Published 2012
    Subjects: “…Computer software…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Towards securing software of embedded Linux devices by Van Tonder, Rijnard

    Published 2015
    Subjects: “…Computer software -- Development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Systems thinking as a novel framework to study overuse injuries in endurance running by Vermeulen, Euodia

    Published 2021
    Subjects: “…Agent-based model (Computer software)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

    Published 2006
    Subjects: “…Computer software -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    Improving collaborative filtering with fuzzy clustering by Beukman, Erika

    Published 2021
    Subjects: “…Groupware (Computer software)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    An aggregated digital twin system for a human-robot collaboration manufacturing cell by Joseph, Akhil Jose

    Published 2025
    Subjects: “…Groupware (Computer software)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

    The role of knowledge management in offshore outsourced software development by Swartbooi, Andile A.

    Published 2010
    Subjects: “…Computer software development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

    Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

    Published 2018
    Subjects: “…Computer software -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    Die belastingaftrekbaarheid van sagteware by Louw, Sanelda

    Published 2012
    Subjects: “…Computer software -- Costs -- Taxation -- South Africa…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    Agile software development as managed sensemaking by Ehlers, Kobus

    Published 2011
    Subjects: “…Computer software -- Development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Design and implementation of generic flight software for a CubeSat by Heunis, Andre Emile

    Published 2015
    Subjects: “…Computer software -- Development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. Cover Image

    Development of a tool to test computer protocols by Myburgh, W. D.

    Published 2012
    Subjects: “…Computer software -- Testing…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

    A comparison of two different model checking techniques by Bull, J. J. D

    Published 2012
    Subjects: “…Computer software -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Investigating the non-termination of affine loops by Durant, Kevin

    Published 2013
    Subjects: “…Computer software -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  16. Cover Image

    Evaluation of control strategies for reconfigurable manufacturing systems by Mulubika, Chibaye

    Published 2013
    Subjects: “…Intelligent agents (Computer software)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  17. Cover Image

    Extended probabilistic symbolic execution by Uwimbabazi, Aline

    Published 2013
    Subjects: “…Computer software…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    Large language models and software testing by Dewey, Marco

    Published 2024
    Subjects: “…Computer software -- Testing…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    Investigation of a simplified open boundary condition for coastal and shelf sea hydrodynamic models by Shabangu, Patrick Eminet

    Published 2015
    Subjects: “…Mathematical models -- Computer software…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    GrailKnights : an automaton mass manipulation package for enhanced pattern analysis by Du Preez, Hercule

    Published 2008
    Subjects: “…Computer software -- Development…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: