. . "Web, Testing, Analysis, Design, Optimization"@en . . . "2"^^ . "The proposal is focusing on situation in web-based application development lifecycle, where potential errors and non-optimalities can be efficiently detected and corrected during the phase of analysis and design. The proposal is based on general formal model, compatible with common UML-based analytical and design models. Based on this model, we propose several verification techniques discovering either design errors or non-optimalities related to real usage of the implemented application." . . "The proposal is focusing on situation in web-based application development lifecycle, where potential errors and non-optimalities can be efficiently detected and corrected during the phase of analysis and design. The proposal is based on general formal model, compatible with common UML-based analytical and design models. Based on this model, we propose several verification techniques discovering either design errors or non-optimalities related to real usage of the implemented application."@en . "1314-1023" . . . "2"^^ . . . "Quality Assurance of Web-based Application: Approach Based on Independent Verification of Analysis and Design" . "Quality Assurance of Web-based Application: Approach Based on Independent Verification of Analysis and Design"@en . "Bure\u0161, Miroslav" . "21230" . "Jel\u00EDnek, Ivan" . . . . "Technical University" . . . "RIV/68407700:21230/10:00170387!RIV11-MSM-21230___" . "Varna" . . "2010-09-16+02:00"^^ . "Quality Assurance of Web-based Application: Approach Based on Independent Verification of Analysis and Design"@en . "Quality Assurance of Web-based Application: Approach Based on Independent Verification of Analysis and Design" . . "RIV/68407700:21230/10:00170387" . "[9EDAC573BF34]" . . "Proceedings of International Conference on Information Technologies" . "283583" . "Sofia" . "Z(MSM6840770014)" . "8"^^ . . .