Dr. Sergiy Vilkomir - Research
Software Quality Research Laboratory (SQRL),
Department of Electrical Engineering and Computer Science,
College of Engineering,
University of Tennessee,
USA
CONTACT DETAILS -
EXPERIENCE -
RESEARCH -
TEACHING -
PUBLICATIONS
Research
Research Interests:
- Requirement Engineering:
- Formal tabular specifications of software
- the Z notation
- Co-evolution of formal and informal requirements
- Regulatory requirements for safety-critical software
- Reliability of computer systems
- Software reliability of telecommunication systems
- Software reliability of safety-critical control systems
- Mathematical methods of reliability evaluation
- Software testing:
- Testing based on formal specifications
- Elaboration of new software testing criteria
- Analysis of effectiveness of testing methods
- Experimental study of testing
- Formal methods:
- Formal tabular notations
- Using the Z notation for formalization and analysis of
requirements for software
- Formalization of testing criteria
- Assessment of software of safety-critical systems during licensing and certification
See also:
Last updated 18.07. 2007 by Sergiy Vilkomir