Formal Reasoning about Software Object Translations.
Valdis Berzins LuqiPeter M. MusialPublished in: Monterey Workshop (2008)
Keyphrases
- d objects
- software systems
- software tools
- deformable objects
- object model
- requirements specification
- software development
- software package
- machine translation
- software design
- software maintenance
- complex objects
- spatial relationships
- source code
- software projects
- target object
- user interface
- data objects
- development process
- formal methods
- computer systems
- formal theory
- information extraction