This is the second of a two-part paper summarizing and reviewing research in mechanical engineering design theory and methodology. Part I included 1) descriptive models; 2) prescriptive models; and 3) computer-based models of design processes. Part II includes: 4) languages, representations, and environments for design; 5) analysis in support of design; and 6) design for manufacture and the life cycle. For each area, we discuss the current topics of research and the state of the art, emphasizing recent significant advances. A final section is included that summarizes the six major areas and lists open research issues.