Compositional Construction and Reasoning Techniques for Software.
Farhad ArbabJoost N. KokPublished in: J. Univers. Comput. Sci. (2005)
Keyphrases
- construction process
- software systems
- neural network
- website
- software architecture
- computer systems
- data sets
- software platform
- software tools
- software development
- knowledge representation
- test cases
- development process
- software developers
- spatial reasoning
- software package
- reasoning tasks
- artificial intelligence
- legal reasoning
- reasoning systems
- formal models
- analogical reasoning
- model based reasoning
- real time
- reasoning mechanisms