主题词：Model-Driven Software Engineering Techniques; Advanced Software Engineering Methodologies; Service-Oriented Architecture and Web Services; Business Process Modeling and Analysis; Software Engineering Research; Software System Performance and Reliability; Formal Methods in Verification; Software Testing and Debugging Techniques; Software Engineering Techniques and Practices; Software Reliability and Analysis Research; Semantic Web and Ontologies; Simulation Techniques and Applications; Real-Time Systems Scheduling; Scientific Computing and Data Management; Logic, programming, and type systems; Advanced Database Systems and Queries; Information Technology Governance and Strategy; Embedded Systems Design Techniques; Petri Nets in System Modeling; Flexible and Reconfigurable Manufacturing Systems; Safety Systems Engineering in Autonomy; Distributed and Parallel Computing Systems; Digital Transformation in Industry; Big Data and Business Intelligence; Distributed systems and fault tolerance