Design Methodology and Formal Validation of Hypermedia Documents.
Celso A. S. SantosLuiz Fernando Gomes SoaresGuido L. De SouzaJean-Pierre CourtiatPublished in: ACM Multimedia (1998)
Keyphrases
- design methodology
- formal specification
- physical design
- design process
- object oriented
- design criteria
- design procedure
- fuzzy neural network
- design methodologies
- xml documents
- hardware software
- database
- model checking
- hw sw
- building blocks
- social networks
- genetic algorithm
- input output
- rough sets
- data mining
- neural network