A central issue is how to turn knowledge patterns into visual software patterns and visual specifications such as UML. Techniques for knowledge acquisition, software visualization and knowledge visualization, are also of great interest.
The first group of articles deal with software engineering, including such topics as: formal description techniques, software specification and design, software inspections, component-based software engineering, versions of program integration, software reuse, assessing different testing strategies for software engineering and knowledge engineering, verification and validation, software cost estimation, data model metrics, uncertainty management, software project management, and reverse engineering,