An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms.
Min ZhangKazuhiro OgataKokichi FutatsugiPublished in: APSEC (2012)
Keyphrases
- formal analysis
- formal methods
- dynamic environments
- software systems
- neural network
- dynamically updated
- object oriented
- source code
- software development
- software design
- software tools
- open distributed systems
- ban logic
- software projects
- software architecture
- computer systems
- software engineering
- user interface
- website
- information systems
- artificial intelligence