Abstract: Reverse Semantic Traceability (RST) is a quality control method that allows minimizing inconsistencies between inputs and outputs of every step in a software development process. For each step, before proceeding to the subsequent ones, the current inputs are restored (reverse engineered) from the current outputs, and compared to the original versions of inputs. If they are semantically different, then some corrective actions are required to eliminate the inconsistency.

Previously RST was successfully used within projects that employed “formal” methodologies. This paper describes experience of integrating RST into one of agile methodologies (Microsoft Solutions Framework for Agile Software Development). The paper also provides a case-study of using the new combined methodology in a small software development project.