Specification Patterns for Formal Web Verification.
May HaydarHouari A. SahraouiAlexandre PetrenkoPublished in: ICWE (2008)
Keyphrases
- formal methods
- formal specification
- formal verification
- model checking
- website
- web pages
- specification languages
- formal analysis
- web applications
- reactive systems
- web content
- usage patterns
- concurrent systems
- machine processable
- semantic web
- information sources
- high level
- web data
- clickstream data
- specific features
- web documents
- asynchronous circuits
- formal language
- end users
- temporal patterns
- requirements specification
- protocol specification
- web scale
- web logs
- web technologies
- database
- web users
- pattern discovery
- formal model
- pattern mining
- web mining
- data mining