Specification of Coordinated Behaviour in the Software Development Process.

Gregor Engels Luuk Groenewegen

Published in: EWSPT (1992)

Keyphrases

software development
cooperative
development process
multi agent
specification language
high level
formal specification
security requirements
machine learning
human behaviour
user behaviour
software process
user defined
software engineering
formal verification
evolutionary algorithm
relational databases
real time