Scrum goes formal: agile methods for safety-critical systems.

Published in: FormSERA@ICSE (2012)

Keyphrases

safety critical
formal methods
embedded systems
fault tolerant
agent architecture
agile software development
data mining
distributed systems
support systems
artificial intelligence