Software Engineering Research Colloquium

Went to a talk this afternoon. About formal methods software development and Object Oriented(OO) tools such as persistence framework between OO programming and relational database and CASE tools.

Interesting huh? lalala...