Educating knowledge-based software engineers

The educational requirements for the field of knowledge-based software engineering (KBSE) are defined. By analyzing an updated version of the program transformation system paradigm, ten topic areas reflecting KBSE educational requirements are identified. It is shown that many of the ten topics can be satisfied by using courses already available in most graduate level computer science/engineering program when examples and course projects are specifically directed at KBSE concepts. A comparison of the ten KBSE topic areas to the 21 software engineering education topic areas developed by the Software Engineering Institute (SEI) shows that few of the KBSE requirements are satisfied by the 21 SEI topic areas. Additionally, recent efforts at the US Air Force Institute of Technology show that a KBSE program, including laboratory support, can be quickly started.<>