Partial order semantics for use case and task models (Q539426): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N99
@@ Property / Mathematics Subject Classification ID: 68N99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5900836
@@ Property / zbMATH DE Number: 5900836 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+use case models
@@ Property / zbMATH Keywords: use case models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+task models
@@ Property / zbMATH Keywords: task models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partially ordered sets
@@ Property / zbMATH Keywords: partially ordered sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal framework
@@ Property / zbMATH Keywords: formal framework / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AsmL
@@ Property / describes a project that uses: AsmL / 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/s00165-010-0158-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2003127245
@@ Property / OpenAlex ID: W2003127245 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753710
@@ Property / cites work: Q2753710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767182
@@ Property / cites work: Q2767182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145651
@@ Property / cites work: Q4145651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471912
@@ Property / cites work: Q4471912 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for viewpoint consistency
@@ Property / cites work: A formal framework for viewpoint consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023995
@@ Property / cites work: Q4023995 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
+Normal rank
@@ Property / cites work @@
+Q4941494
@@ Property / cites work: Q4941494 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order semantics for use case and task models
+Normal rank
@@ Property / cites work @@
+Q4420354
@@ Property / cites work: Q4420354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764115
@@ Property / cites work: Q2764115 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:539426