This shows you the differences between two versions of the page.
development [2011/12/05 15:25] medini |
development [2019/10/06 20:37] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Development ====== | ||
- | ==== Tooling ==== | ||
- | |||
- | * [[JCT]] | ||
- | * [[MODEC]] | ||
- | * [[PADL]] | ||
- | * [[PADL Analyses]] | ||
- | * [[POM]] | ||
- | * [[Ptidej Solver]] | ||
- | * [[Ptidej UI]] | ||
- | * [[Ptidej UI Viewer]] | ||
- | * | ||
- | |||
- | ==== Other Interesting Concepts ==== | ||
- | |||
- | * [[Dirty Hack]] | ||
- | * [[Fragile Code]] | ||
- | * [[Historical Reason]] | ||
- | |||
- | ==== Other Pages of Interest ==== | ||
- | |||
- | * [[FAQ|FAQ General]] | ||
- | * [[POM FAQ|FAQ POM]] |