-
Computer Science
-
Research
-
Research Profile
Software, security and verification
which now permeate 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 [...] topics include the following: Development and application of formal specification methods for requirements analysis. Use of formal analysis and verification methods during system design for early fault [...] object-oriented query languages that incorporate semantic constraints Consideration of security requirements such as availability, integrity, authenticity, confidentiality, anonymity, and detectability Current …