From Informal Project Management Artifacts to Formal System Models

Abstract

Software systems are specified with formal artifacts such as requirements or architecture models. However, informal project artifacts such as bug reports, tasks or discussion threads also include relevant information about the respective software systems and their development. It is beneficial to externalize such information in formalized representations, e… (More)

Topics

2 Figures and Tables