Greg Horvath in his Comment on Requirements Innovation cited an excellent article. The article is on NASA's software engineering efforts and was in the January issue of Computer. It can be found here. The article discusses a wide ranging set of efforts including formal specifications, code generation from specifications, state-based control architecture and human engineering of code.
Starting next week I will review some of the techniques listed in the article and provide you with resources to explore them further. I think the NASA work is particularly interesting since it is one of the few current attempts to integrate the full range of software engineering techniques into production. Until then check out the article and let me know your thoughts on which techniques you would like to explore in more depth. Later.