Multiple views of an executable software specification language.
Yukuh TungAmir A. KhwajaJoseph E. UrbanPublished in: J. Syst. Softw. (1993)
Keyphrases
- multiple views
- specification language
- formal specification
- multi view
- requirements specification
- software environment
- single view
- viewpoint
- programming language
- description language
- d objects
- formal methods
- multiple images
- software development
- software components
- software systems
- range images
- model checking
- software architecture
- point correspondences
- ground plane
- feature correspondences
- multiple cameras
- fundamental matrix
- line features
- multiple viewpoints
- consistency constraints
- three dimensional
- case study
- reverse engineering
- development process
- pose estimation
- active learning
- relational databases
- overlapping views