In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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.
