Co-Evolution of Complementary Formal and Informal Requirements.

Aneesh Krishna Aditya K. Ghose Sergiy A. Vilkomir

Published in: IWPSE (2004)

Keyphrases

requirements specification
dynamic aspects
formal model
artificial intelligence
user requirements
temporal evolution
databases
neural network
search engine
artificial neural networks
application specific
formal methods
requirements engineering
informal learning
formal language
formal and informal learning