Formalism and method (Q1978639): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4721640 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Labelled transition logic: An outline / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formalism and method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal methods for industrial applications. Specification and programming the Steam Boiler Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Institutions: abstract model theory for specification and programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specification of abstract dynamic-data types: A temporal logic approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: A decade of TAPSOFT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and practice of software development / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specifications in an arbitrary institution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992540 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4295392 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385539 / rank
 
Normal rank

Latest revision as of 16:32, 29 May 2024

scientific article
Language Label Description Also known as
English
Formalism and method
scientific article

    Statements

    Formalism and method (English)
    0 references
    0 references
    0 references
    4 June 2000
    0 references
    0 references
    formalism
    0 references
    method
    0 references
    formal method
    0 references
    software development process
    0 references
    specification
    0 references
    method pattern
    0 references