Enforcing High-Level Protocols in Low-Level Software.
Robert DeLineManuel FähndrichPublished in: PLDI (2001)
Keyphrases
- low level
- high level
- low level features
- higher level
- source code
- mid level
- intermediate level
- semantic gap
- visual information
- lower level
- visual cues
- software architecture
- visual features
- software package
- programming language
- middle level
- high level information
- software development
- software components
- user interface
- software projects
- design patterns
- development process
- image representation
- object level
- distributed systems
- hardware design
- wireless sensor networks
- image segmentation