Rails

So I'm starting to learn Rails. I'm trying to get my head around MVC (model, view, controller) programming, and Java isn't helping. The first notable thing I've come across is that the testing subsystem is automatically generated when you create models. They're stubs, but filling them out before populating your models appears to be a way to write specifications into the testing harness before you actually create the code, which then forces you to wire the code to meet the tests (instead of the other way 'round).

There's some application here for high-assurance programming... Perhaps if a formal modeling system kicks out Ruby test cases instead of (or in addition to) ML we'd have something...