Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning.
Tie-Cheng WangAllen GoldbergPublished in: FroCoS (1998)
Keyphrases
- goal oriented
- requirements engineering
- requirements analysis
- process oriented
- mental imagery
- software tools
- software maintenance
- software systems
- high resolution
- knowledge processing
- data marts
- software development
- software architecture
- software design
- computer systems
- enterprise resource planning
- user interface
- information systems
- development process
- fine grained
- data mining
- configuration management
- authoring environment