Comprehending software correctness implies comprehending an intelligence-related limitation.

Arthur Charlesworth

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

artificial intelligence
software development
neural network
machine learning
collective intelligence
closely related
software architecture
personal computer
intelligent software agents
databases
software design
software tools
embedded systems
information processing
evolutionary algorithm
email
genetic algorithm