Title : 
WeSPaS — Web specification pattern system
         
        
            Author : 
Haydar, May ; Petrenko, Alexandre ; Sahraoui, Houari
         
        
            Author_Institution : 
Dept. d´´Inf. et de la Rech., Operationnelle, Univ. de Montreal, Montreal, QC, Canada
         
        
        
        
        
        
            Abstract : 
We propose a library of web specification patterns to assist web developers and testers in formally specifying web related properties. The current version of the library contains 119 functional and non-functional patterns obtained from scrutinizing various resources in the field of quality assurance of Web Applications, which characterize successful web application using a set of standardized attributes. We evaluated 10% of our patterns on six Web applications. The results showed that the majority of tested properties are violated by the web applications.
         
        
            Keywords : 
Internet; WeSPaS; Web Applications; Web specification pattern system; Authentication; Libraries; Navigation; Quality assurance; Usability; Web pages; Linear Temporal Logic; Specification Patterns; Verification and Validation; Web Applications; Web Quality Assurance;
         
        
        
        
            Conference_Titel : 
Machine and Web Intelligence (ICMWI), 2010 International Conference on
         
        
            Conference_Location : 
Algiers
         
        
            Print_ISBN : 
978-1-4244-8608-3
         
        
        
            DOI : 
10.1109/ICMWI.2010.5647875