A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
Celso A. S. SantosJean-Pierre CourtiatPierre de Saqui-SannesPublished in: FORTE (1998)
Keyphrases
- formal specification
- design methodology
- model checking
- concurrent systems
- formal methods
- model checker
- specification language
- temporal logic
- protocol specification
- design criteria
- object oriented design
- design methodologies
- formal verification
- physical design
- reverse engineering
- process algebra
- software components
- design procedure
- xml documents
- information systems
- databases
- database
- database systems
- case study
- artificial intelligence
- data mining