Contacts

Software Architecture verification can be mentioned in different words such as Model-based Architectural Verification, design verification, architecture evaluation etc. The student shall investigate the state of the art on automatic software model verification techniques and evaluate and present the results in the seminar. Essential properties of design verification should be investigated in the literature as both functional and non-functional properties during his/her evaluation. For the evaluation it is required to understand the literature used to build up the method and derive/analyze strength and weaknesses. Furthermore the student is supposed to search the current automatic tools and how the technique can be applied in realistic software development projects