Changes between Version 5 and Version 6 of PLUGIN_DECOMPOSITION_R0

Timestamp:

09/23/08 19:14:22 (17 years ago)

Author:

pavlina

Comment:

--

PLUGIN_DECOMPOSITION_R0

@@ -5 +5 @@
  * think about initial plug-in decomposition
   * decompose to base modules and in which each class goes
-  * integrate the essential existing code with the JPF library
+  * integrate the JPF library in the project so it can run through JPF which activate the current plug-ins
   * follow the dev_doc diagrams
 == Task result ==
-Integrated code with JPF library, base plug-ins created - new project structure.
+New project structure, boot.properties file
 
 == Implementation idea ==
@@ -30 +30 @@
  * use Maven JPF Plugin to integrate the JPF in Maven
  * make new run configuration to run the project using JPF
- * make boot.properties file and plugin.xml file for every module you made. See http://jpf.sourceforge.net/tutorial.html
+ * make boot.properties file. See http://jpf.sourceforge.net/tutorial.html
 
 = Implementation =