Transformation-oriented programming: A development methodology for high assurance software.
Victor L. WinterSteve RoachGregory L. WickstromPublished in: Adv. Comput. (2003)
Keyphrases
- high assurance
- oriented programming
- software systems
- operating system
- fault tolerant
- access control
- distributed systems
- software tools
- software development
- linear transformation
- source code
- relational databases
- case study
- commercial software
- design patterns
- database systems
- multiscale
- test cases
- multi agent
- software engineering
- user interface
- computer systems
- information systems
- knowledge management
- software package
- object oriented
- computer software
- software platform
- cooperative
- web services