Specification and implementations of interactive information systems.
Anthony I. WassermanPublished in: AFIPS National Computer Conference (1984)
Keyphrases
- information systems
- information technology
- requirements analysis
- support systems
- efficient implementation
- high level
- health care
- business rules
- virtual reality
- data structures and algorithms
- computer systems
- knowledge management
- highly interactive
- formal specification
- graphical interface
- specification language
- interactive learning
- provably correct
- formal methods
- project management
- information security
- user friendly
- computer graphics