Proceedings on the 1st Workshop on Agile Methods Applied to Development and Certification of Safety-critical Software.
Geir Kjetil HanssenThor MyklebustTor StålhanePublished in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
- safety critical
- formal methods
- software engineering practices
- fault tolerant
- embedded systems
- agent architecture
- software development
- support systems
- software engineering
- software systems
- agile development
- development teams
- software development processes
- agile methods
- development process
- low cost
- adaptive systems
- user interface
- cooperative
- development cycle
- information systems
- software architecture
- model checking
- learning systems