Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00165-009-0139-2 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00165-009-0139-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2138824635 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The B-Book / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5703804 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On regularity in software design / rank
 
Normal rank
Property / cites work
 
Property / cites work: Retrenchment and refinement interworking: the tower theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composition mechanisms for retrenchment / rank
 
Normal rank
Property / cites work
 
Property / cites work: FM 2005: Formal Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Engineering and theoretical underpinnings of retrenchment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5294156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superposition refinement of reactive systems / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00165-009-0139-2 / rank
 
Normal rank

Latest revision as of 20:56, 9 December 2024

scientific article
Language Label Description Also known as
English
Retrenchment for Event-B: UseCase-wise development and Rodin integration
scientific article

    Statements

    Retrenchment for Event-B: UseCase-wise development and Rodin integration (English)
    0 references
    0 references
    27 May 2011
    0 references
    Event-B
    0 references
    UseCase-wise development
    0 references
    incremental development
    0 references
    refinement
    0 references
    retrenchment
    0 references
    tower pattern
    0 references
    Rodin toolset
    0 references

    Identifiers