An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications

More about the book

The book delves into the complexities of developing large-scale composite software in distributed environments, emphasizing the challenges of managing inconsistencies arising from diverse viewpoints among participants. It introduces the WHERE toolkit, designed to enhance inconsistency management in such projects, utilizing the ViewPoints framework. By employing Graph Grammar theory, it offers systematic operations for analyzing and addressing inconsistencies in requirements specifications. Additionally, it discusses the conversion of the TCM project from C++ to Java, highlighting implementation feasibility and potential improvements in software robustness.