A calculus for reasoning about software composition.
Franz AchermannOscar NierstraszPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- qualitative spatial
- computer systems
- software development
- software systems
- software tools
- software maintenance
- cardinal direction relations
- commercial software
- qualitative reasoning
- software developers
- qualitative spatial reasoning
- hardware design
- software evolution
- artificial intelligence
- software architecture
- first order logic
- user interface
- information systems