Refactoring and representation independence for class hierarchies (Q428866): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6049389
@@ Property / zbMATH DE Number: 6049389 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refactoring
@@ Property / zbMATH Keywords: refactoring / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program transformation
@@ Property / zbMATH Keywords: program transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+class inheritance
@@ Property / zbMATH Keywords: class inheritance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+representation independence
@@ Property / zbMATH Keywords: representation independence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank

Revision as of 23:24, 29 June 2023