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
Harnessing rCOS for Tool Support —The CoCoME Experience - MaRDI portal

Harnessing rCOS for Tool Support —The CoCoME Experience (Q3526927)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Harnessing rCOS for Tool Support —The CoCoME Experience
scientific article

    Statements

    title
    Harnessing rCOS for Tool Support —The CoCoME Experience (English)
    0 references
    author
    Zhenbang Chen
    0 references
    Xiaoshan Li
    0 references
    Zhi-Ming Liu
    0 references
    Volker Stolz
    0 references
    Lu Yang
    0 references
    publication date
    25 September 2008
    0 references
    zbMATH Keywords
    software development tool
    0 references
    software process
    0 references
    formal methods
    0 references
    tool design
    0 references
    describes a project that uses
    ESC/Java
    0 references
    rCOS
    0 references

    Identifiers

    zbMATH DE Number
    5347188
    0 references
    OpenAlex ID
    W1578269046
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3526927&oldid=31602995"
    Powered by MediaWiki