Automatic HTML Generation from Formal Hypermedia Specifications.
Rosemeire ShibuyaWillie Dresler LeivaMaria Cristina Ferreira de OliveiraPaulo Cesar MasieroPublished in: HICSS (2001)
Keyphrases
- formal specification
- formal language
- reactive systems
- fully automatic
- operational semantics
- user interface
- web pages
- high level
- web browser
- formal methods
- specification language
- formal model
- formal descriptions
- multiple representations
- neural network
- semi automatic
- complex systems
- digital libraries
- information systems