Ode to the PST (Q5256333): Difference between revisions

@@ Property / describes a project that uses @@
+Helena
@@ Property / describes a project that uses: Helena / 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.1007/978-3-319-15545-6_2
+Normal rank
@@ Property / OpenAlex ID @@
+W14895956
@@ Property / OpenAlex ID: W14895956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999578
@@ Property / cites work: Q3999578 / rank @@
+Normal rank
@@ Property / cites work @@
+A Heterogeneous Approach to UML Semantics
@@ Property / cites work: A Heterogeneous Approach to UML Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for Ensemble Modeling – The Helena Approach
+Normal rank
@@ Property / cites work @@
+Which Soft Constraints do you Prefer?
@@ Property / cites work: Which Soft Constraints do you Prefer? / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and refinement of mobile systems in MTLA and mobile UML
+Normal rank
@@ Property / cites work @@
+Q3045612
@@ Property / cites work: Q3045612 / rank @@
+Normal rank
@@ Property / cites work @@
+Objects, Agents, and Features
@@ Property / cites work: Objects, Agents, and Features / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417820
@@ Property / cites work: Q4417820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763651
@@ Property / cites work: Q2763651 / rank @@
+Normal rank
@@ Property / cites work @@
+Adapting Proofs-as-Programs
@@ Property / cites work: Adapting Proofs-as-Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4647643
@@ Property / cites work: Q4647643 / rank @@
+Normal rank
@@ Property / cites work @@
+A contract-based approach to adaptivity
@@ Property / cites work: A contract-based approach to adaptivity / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for Concurrent Objects
@@ Property / cites work: Abstraction for Concurrent Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank