Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(8 intermediate revisions by 5 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Spec# / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Eiffel / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: JML / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: OCRA / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10703-017-0304-9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2769027613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logical view of composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recognizing safety and liveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional Verification for Component-Based Systems and Application / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiple Viewpoint Contract-Based Specification and Design / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Algebra of Connectors—Structuring Interaction in BIP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specification and Development of Interactive Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Modal Interface Theory for Component-based Design / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interaction and Realizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability and realizability for interactive computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proofs of Networks of Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic theory of interface automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composition of assumption-commitment specifications in a UNITY style / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4473719 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2768503 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modeling layered distributed communication systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic basis for computer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754080 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic proof technique for parallel programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: P-A logic - a compositional proof system for distributed programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Taming Dr. Frankenstein: contract-based design for cyber-physical systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3709867 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship / rank
 
Normal rank

Latest revision as of 06:24, 16 July 2024

scientific article
Language Label Description Also known as
English
Theory and methodology of assumption/commitment based system interface specification and architectural contracts
scientific article

    Statements

    Theory and methodology of assumption/commitment based system interface specification and architectural contracts (English)
    0 references
    0 references
    8 August 2018
    0 references
    specification
    0 references
    design
    0 references
    contracts
    0 references
    assumptions
    0 references
    commitments
    0 references
    promises
    0 references
    context
    0 references
    system specification
    0 references
    safety
    0 references
    liveness
    0 references
    causality
    0 references
    realizability
    0 references
    interface
    0 references
    architecture
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references