The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998)

From MaRDI portal
Revision as of 19:52, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
scientific article

    Statements

    title
    The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (English)
    0 references
    author
    Egon Börger
    0 references
    publication date
    9 March 2012
    0 references
    Mathematics Subject Classification ID
    68N99
    0 references
    68Q05
    0 references
    90B70
    0 references
    zbMATH DE Number
    6013576
    0 references
    describes a project that uses
    Rodin
    0 references
    Metasonic
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3223998&oldid=23978876"
    Powered by MediaWiki