Reasoning About Time in Higher-Level Language Software.
Alan C. ShawPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- higher level
- programming language
- software development
- natural language
- low level
- lower level
- modeling language
- spatial reasoning
- high level
- computer systems
- software systems
- software tools
- formal theory
- software components
- software architecture
- software maintenance
- source code
- user interface
- information systems
- programming environment
- software evolution
- hardware design
- information retrieval