Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Impact of performance considerations on formal specification design - MaRDI portal

Impact of performance considerations on formal specification design (Q2365398)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Impact of performance considerations on formal specification design
scientific article

    Statements

    Impact of performance considerations on formal specification design (English)
    0 references
    0 references
    4 February 1997
    0 references
    observability
    0 references
    performance
    0 references
    reusable software components
    0 references
    formal interface specification
    0 references
    object-based software specification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers