Reliability Assessment of WEB Applications

The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability are calculated from the formal architectural specification and system configuration descriptions.

• Type: Conference
• Year: 2002
• Where: COMPSAC
• Authors: Vangalur S. Alagar, Olga Ormandjieva
• Keywords: COMPSAC 2002, Formal Approach, Formal Architectural Specification, Software Engineering, Time-dependent Web Applications