High Assurance Software for Financial Regulation and Business Platforms.
Stephen GoldbaumAttila MihályTosha EllisonEarl T. BarrMark MarronPublished in: VMCAI (2022)
Keyphrases
- high assurance
- software systems
- fault tolerant
- software platform
- financial data
- decision making
- access control
- business applications
- distributed systems
- operating system
- data mining
- business processes
- software development
- business intelligence
- credit risk
- business process
- enterprise systems
- mobile platforms
- information systems
- computer systems
- risk management
- financial information
- user interface
- data analytics
- electronic commerce
- source code
- banking industry
- systems development
- case study
- financial services
- databases
- small and medium enterprises
- real world
- machine learning
- return on investment
- legacy systems
- online services
- software maintenance
- open source
- database