主题词：Software Engineering Research; Formal Methods in Verification; Software Reliability and Analysis Research; Advanced Software Engineering Methodologies; Software Testing and Debugging Techniques; Model-Driven Software Engineering Techniques; Service-Oriented Architecture and Web Services; Software Engineering Techniques and Practices; Software System Performance and Reliability; Real-Time Systems Scheduling; Embedded Systems Design Techniques; Business Process Modeling and Analysis; Logic, programming, and type systems; Petri Nets in System Modeling; Recycling and Waste Management Techniques; Distributed systems and fault tolerance; Network Security and Intrusion Detection; Advanced Malware Detection Techniques; Parallel Computing and Optimization Techniques; Security and Verification in Computing; Data Mining Algorithms and Applications; Simulation Techniques and Applications; Safety Systems Engineering in Autonomy; Systems Engineering Methodologies and Applications; Semantic Web and Ontologies