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
Specification statements and refinement - MaRDI portal

Specification statements and refinement (Q3766811)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification statements and refinement
scientific article

    Statements

    title
    Specification statements and refinement (English)
    0 references
    author
    Ken Robinson
    0 references
    Carroll Morgan
    0 references
    publication date
    1987
    0 references
    zbMATH Keywords
    first-order predicate calculus
    0 references
    VDM
    0 references
    development method
    0 references
    predicates
    0 references
    directly executable operations
    0 references
    calculus of refinement
    0 references

    Identifiers

    DOI
    10.1147/rd.315.0546
    0 references
    zbMATH DE Number
    4024748
    0 references
    OpenAlex ID
    W2086869884
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3766811&oldid=31417844"
    Powered by MediaWiki