Rigorous development of component-based systems using component metadata and patterns (Q333322): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6645313
@@ Property / zbMATH DE Number: 6645313 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component-based development
@@ Property / zbMATH Keywords: component-based development / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+correct by construction
@@ Property / zbMATH Keywords: correct by construction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+designs
@@ Property / zbMATH Keywords: designs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+metadata
@@ Property / zbMATH Keywords: metadata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioural pattern
@@ Property / zbMATH Keywords: behavioural pattern / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deadlock analysis
@@ Property / zbMATH Keywords: deadlock analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSP
@@ Property / zbMATH Keywords: CSP / rank @@
+Normal rank

Revision as of 04:35, 28 June 2023