A formal description of self-controlling software based on pi-calculus.

Guoyou Zhang Yin-Zhang Guo

Published in: SMC (7) (2004)

Keyphrases

software tools
software development
computer systems
software systems
user interface
commercial software
software platform
data sets
genetic algorithm
multi agent systems
evolutionary algorithm
test cases
fuzzy rules
software design
software package
software evolution