Viewing Formal Specifications in Z on World Wide Web.
Lubos MikusiakMiroslav AdámyPublished in: EUROMEDIA (1996)
Keyphrases
- world wide web
- formal specification
- specification language
- model checking
- object oriented design
- website
- specification languages
- process algebra
- formal methods
- concurrent systems
- reverse engineering
- design methodology
- information resources
- www pages
- temporal logic
- cooperative
- formal specification language
- semantic data models
- database
- software components
- fine grained
- e learning