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
Integrating a formal method into a software engineering process with UML and Java - MaRDI portal

Integrating a formal method into a software engineering process with UML and Java (Q2481209)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integrating a formal method into a software engineering process with UML and Java
scientific article

    Statements

    title
    Integrating a formal method into a software engineering process with UML and Java (English)
    0 references
    author
    Ernst-Ruediger Olderog
    0 references
    Holger Rasch
    0 references
    Heike Wehrheim
    0 references
    Michael Moeller
    0 references
    publication date
    9 April 2008
    0 references
    zbMATH DE Number
    5261533
    0 references
    zbMATH Keywords
    Modelling
    0 references
    Formal specification
    0 references
    CSP
    0 references
    Object-Z
    0 references
    UML
    0 references
    Java
    0 references
    Contracts
    0 references
    Model checking
    0 references
    Runtime checking
    0 references
    describes a project that uses
    Z
    0 references
    JML
    0 references
    Bandera
    0 references
    JPAX
    0 references
    FDR2
    0 references
    Circus
    0 references
    SPIN
    0 references
    Eiffel
    0 references
    Jass
    0 references
    OpenAlex ID
    W1976111119
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2481209&oldid=35048850"
    Powered by MediaWiki