Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022.
Published in: FMAS/ASYDE@SEFM (2022)
Keyphrases
- international workshop
- formal methods
- selected papers
- domain driven data mining
- pacific rim
- safety critical
- autonomous systems
- revised selected papers
- acm sigkdd
- lecture notes in artificial intelligence
- knowledge based systems
- development process
- development lifecycle
- software architecture
- software engineering
- artificial intelligence
- software systems
- case study
- source code
- knowledge management
- decision support
- software development