Development of global specification for dynamically adaptive software (Q488401)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Development of global specification for dynamically adaptive software
scientific article

    Statements

    Development of global specification for dynamically adaptive software (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 January 2015
    0 references
    autonomic computing
    0 references
    dynamic adaptation
    0 references
    formal specification
    0 references
    verification
    0 references

    Identifiers