An approach to software requirement specification.
Stephen S. YauChung-Shyan LiuPublished in: COMPSAC (1988)
Keyphrases
- software platform
- software systems
- formal verification
- software development
- software tools
- software design
- highly modular
- artificial intelligence
- case study
- high level
- tool suite
- reactive systems
- software projects
- data sets
- personal computer
- analysis tool
- software package
- software architecture
- computer systems
- databases