The challenges of theory-software translation.
Caroline JayRobert HainesDaniel S. KatzJeffrey C. CarverSandra GesingSteven R. BrandtJames HowisonAnshu DubeyJames C. PhillipsHui WanMatthew J. TurkPublished in: F1000Research (2020)
Keyphrases
- formal methods
- user interface
- lessons learned
- source code
- software development
- key issues
- databases
- technical challenges
- theoretical basis
- software systems
- theoretical framework
- software architecture
- test cases
- mobile platforms
- software package
- query translation
- computing infrastructure
- computational model
- commercial software
- open issues
- hardware design
- database
- real world
- information systems
- belief functions
- software tools
- computer systems
- design principles
- machine translation