Difference between revisions of "D32 Scalability"

@@ Line 1: / Line 1: @@
 === Overview ===
 Regarding scalability of the Rodin platform, the following contributions has been made:
+* (Alexei) Flow plug-in
+* (Alexei) Group Refinement
+* (Alexei) Modes
 * Emre Yilmaz and Thai Son Hoang (ETH Zurich) has developed a plug-in for
 === Motivations ===
+==== Flow plug-in ====
+(Alexei)
+==== Group Refinement ====
+(Alexei)
+==== Modes ====
+(Alexei)
 ==== Qualitative Reasoning ====
 === Choices/Decisions ===
+==== Flow plug-in ====
+(Alexei)
+==== Group Refinement ====
+(Alexei)
+==== Modes ====
+(Alexei)
+==== Qualitative Reasoning ====
 === Available Documentation ===
 === Planning ===
+==== Flow plug-in ====
+(Alexei)
+==== Group Refinement ====
+(Alexei)
+==== Modes ====
+(Alexei)
+==== Qualitative Reasoning ====
 === References ===

Revision as of 10:31, 1 December 2010