Bachelor and Master Theses
To apply for conducting this thesis, please contact the thesis supervisor(s).
| Title: | Security Pattern-Based Requirement Specifications using PROPAS |
| Subject: | Computer science, Software engineering |
| Level: | Basic, Advanced |
| Description: |
PROPAS (The PROperty PAttern Specification and Analysis) is a tool set for automated and formal consistency analysis of industrial critical requirements. The GUI part of the PROPAS tool provides the necessary means for generating formal system specifications based on the Specification Patterns. In this thesis, you will extend this tool towards security patterns and improve its evaluation. The evaluation will focus on GUI changes, tool stability and user friendliness. |
| Start date: | |
| End date: | |
| Prerequisites: |
Knowledge of C# |
| IDT supervisors: | Eduard Paul Enoiu |
| Examiner: | |
| Comments: | |
| Company contact: |