Flash Demo

Flash version of a demo presented at OOPSLA'05

• Part 1: feature modeling and configuration. (1.1 Mb)
• Part 2: model templates in Rational Software Modeler. (3.3 Mb)
• Part 3: verifying all possible template instances using template verifier. (0.5 Mb)

Plug-in fmp2rsmVerifier 0.0.1 used in the demo has not been released.