The work of the group deals with the disciplined engineering of component-based software systems and the software components (a.k.a. reusable software components) from which they can be built. The vision is to design and develop a language that supports carefully engineered component-based software, and a true verifying compiler for it. Our research language is called RESOLVE.