Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.
Min ZhangKazuhiro OgataKokichi FutatsugiPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- high accuracy
- software design
- significant improvement
- objective function
- evolutionary algorithm
- optimization method
- prior knowledge
- fully automatic
- high precision
- classification method
- theoretical analysis
- data sets
- software architecture
- probabilistic model
- computational cost
- dynamic programming
- cost function
- pairwise
- object oriented
- image processing
- software development
- computational complexity
- optimization algorithm
- detection algorithm
- clustering method
- design process
- detection method
- synthetic data
- multiresolution