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

@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10703-017-0304-9
-Normal rank
@@ Property / OpenAlex ID @@
-W2769027613
@@ Property / OpenAlex ID: W2769027613 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-017-0304-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2769027613
@@ Property / OpenAlex ID: W2769027613 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification for Component-Based Systems and Application
+Normal rank
@@ Property / cites work @@
+Multiple Viewpoint Contract-Based Specification and Design
+Normal rank
@@ Property / cites work @@
+The Algebra of Connectors—Structuring Interaction in BIP
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ Property / cites work @@
+Interaction and Realizability
@@ Property / cites work: Interaction and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and realizability for interactive computations
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of interface automata
@@ Property / cites work: An algebraic theory of interface automata / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of assumption-commitment specifications in a UNITY style
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling layered distributed communication systems
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754080
@@ Property / cites work: Q2754080 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+P-A logic - a compositional proof system for distributed programs
+Normal rank
@@ Property / cites work @@
+Taming Dr. Frankenstein: contract-based design for cyber-physical systems
+Normal rank
@@ Property / cites work @@
+Q3709867
@@ Property / cites work: Q3709867 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
+Normal rank