Formal modeling of evolving self-adaptive systems (Q1951611): Difference between revisions

@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAGODA
@@ Property / describes a project that uses: PAGODA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2011.09.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2071347688
@@ Property / OpenAlex ID: W2071347688 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57745548
@@ Property / Wikidata QID: Q57745548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989000
@@ Property / cites work: Q2989000 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferential choice and coordination conditions
@@ Property / cites work: Preferential choice and coordination conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Assurance of dynamic adaptation in distributed systems
+Normal rank
@@ Property / cites work @@
+Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
+Normal rank
@@ Property / cites work @@
+A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects
+Normal rank
@@ Property / cites work @@
+Formal modeling of evolving self-adaptive systems
@@ Property / cites work: Formal modeling of evolving self-adaptive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Connector Rewriting with High-Level Replacement Systems
+Normal rank
@@ Property / cites work @@
+Implied Scenario Detection in the Presence of Behaviour Constraints
+Normal rank
@@ Property / cites work @@
+Q2917404
@@ Property / cites work: Q2917404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728860
@@ Property / cites work: Q2728860 / rank @@
+Normal rank