The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998): Difference between revisions

@@ Property / describes a project that uses @@
+Metasonic
@@ Property / describes a project that uses: Metasonic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoreASM
@@ Property / describes a project that uses: CoreASM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FALKO
@@ Property / describes a project that uses: FALKO / 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-642-28279-9_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1592944918
@@ Property / OpenAlex ID: W1592944918 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268493
@@ Property / cites work: Q4268493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976026
@@ Property / cites work: Q3976026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010351
@@ Property / cites work: Q4010351 / rank @@
+Normal rank
@@ Property / cites work @@
+The ASM refinement method
@@ Property / cites work: The ASM refinement method / rank @@
+Normal rank
@@ Property / cites work @@
+Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
+Normal rank
@@ Property / cites work @@
+Ambient abstract state machines with applications
@@ Property / cites work: Ambient abstract state machines with applications / rank @@
+Normal rank
@@ Property / cites work @@
+A high-level modular definition of the semantics of C\(_{\sharp}\)
+Normal rank
@@ Property / cites work @@
+Q2753718
@@ Property / cites work: Q2753718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839029
@@ Property / cites work: Q4839029 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294158
@@ Property / cites work: Q5294158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299605
@@ Property / cites work: Q4299605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701739
@@ Property / cites work: Q2701739 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Towards proving type safety of .NET CIL
@@ Property / cites work: Towards proving type safety of .NET CIL / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Algorithms 2005 with Added Appendix
@@ Property / cites work: Interactive Algorithms 2005 with Added Appendix / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5485626
@@ Property / cites work: Q5485626 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+ASM refinement and generalizations of forward simulation in data refinement: a comparison
+Normal rank
@@ Property / cites work @@
+Q4520493
@@ Property / cites work: Q4520493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702600
@@ Property / cites work: Q2702600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank