A methodology for high-level software specification construction.
Jing YingZhijun HeZhaohui WuJiangyun LiWeicheng FanZhaohui XuPublished in: ACM SIGSOFT Softw. Eng. Notes (1995)
Keyphrases
- high level
- low level
- conceptual model
- source code
- higher level
- software systems
- programming language
- software development
- software tools
- user interface
- software requirements
- development process
- formal methods
- tool suite
- construction process
- analysis tool
- real time
- software maintenance
- software design
- software projects
- software architecture
- process model
- software packages
- platform independent
- knowledge base
- neural network