-
Computer Science
-
Research
-
Research Profile
Software, security and verification
Research Profile Research Area "Software, Security and Verification" A central topic of computer science is the development of software, especially of extensive software systems, which now permeate almost [...] almost every area of life. This concerns the entire life cycle of systems, from requirements analysis to maintenance of the resulting system. For this, methods and techniques for specification, design, [...] maintenance and adaptation are essential. Exemplary research topics include the following: Development and application of formal specification methods for requirements analysis. Use of formal analysis …