Agile methods for open source safety-critical software.
Kevin GaryAndinet EnquobahrieLuis IbáñezPatrick ChengZiv YanivKevin ClearyShylaja KokooriBenjamin MuffihJohn HeidenreichPublished in: Softw. Pract. Exp. (2011)
Keyphrases
- safety critical
- open source
- formal methods
- fault tolerant
- embedded systems
- software development
- agile methods
- source code
- agent architecture
- support systems
- agile software development
- adaptive systems
- software systems
- software projects
- case study
- software development processes
- software engineering
- learning systems
- software architecture
- information systems
- development teams
- artificial intelligence