Heap Memory Requirements Analysis via Separation Logic.
Guanhua HeChenguang LuoPublished in: TASE (2009)
Keyphrases
- requirements analysis
- goal oriented
- data structure
- requirements elicitation
- development process
- software development
- mental imagery
- information systems
- knowledge intensive
- random access memory
- decision making
- distance learning
- knowledge acquisition
- requirements engineering
- knowledge representation
- relational databases
- class diagram