Geometric Relations Between Rigid Bodies (Part 2): From Semantics to Software.
Tinne De LaetSteven BellensHerman BruyninckxJoris De SchutterPublished in: IEEE Robotics Autom. Mag. (2013)
Keyphrases
- conceptual graphs
- user interface
- temporal relations
- software tools
- lexical semantics
- binary relations
- formal semantics
- source code
- computer systems
- control flow
- software maintenance
- intended meaning
- database
- software architecture
- software systems
- logic programming
- software development
- three dimensional
- geometric structure
- semantic relations
- software testing
- geometric information
- semantic information
- relational structures
- logical structure
- relational data model
- relational calculus