The International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) is dedicated to methodology, theory and applications of advances in software engineering and formal methods.
The International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) covers topics such as:
- Open Source Software development
- Devops Models, Practices, Challenges
- Software reliability and large-scale distribution
- Scaled Agile Framework (SAFe) in the real World
- Lean & Agile software Development & practices
- Hybrid processes for software and systems
- Software Automation
- CI/CD, Agile and Devops
- Software Engineering challenges
- Software as a Service ( Saas)
- Artifacts, software validation and diagnosis
- Performance Evaluation, Application & Tools
- Devops in health care, education & business
- Empirical Study
- Intelligent software systems
- AI for supporting software and systems processes
- Software Engineering for Machine Learning
- Legacy systems
- Service-oriented Software Engineering (SOSE)
- IoT software engineering
- Software performance
- Software Engineering for Big Data
- Agile and Lean software development
- Software Security
- Formal Languages
- Open source software
- Program Semantics
- Automata Theory
