Aligned with
This conference contributes to global sustainability by aligning its research discussions and academic sessions with key United Nations Sustainable Development Goals. It fosters knowledge exchange, innovation, and collaborative engagement.
This track focuses on the latest advancements in software modeling techniques, emphasizing their application in various domains. Contributions that explore innovative methodologies and frameworks for effective software modeling are particularly encouraged.
This session will delve into model-driven engineering (MDE) approaches that enhance software development processes. Papers discussing the integration of MDE with contemporary software engineering practices are welcome.
This track invites submissions that explore innovations in Unified Modeling Language (UML) and its practical applications in software engineering. Discussions on the evolution of UML and its impact on software design are encouraged.
This session will examine the role of formal methods in enhancing the reliability and correctness of software models. Contributions that demonstrate the application of formal techniques in real-world scenarios are highly sought after.
This track focuses on the development and application of simulation tools for analyzing software behavior. Papers that present novel simulation methodologies or case studies showcasing their effectiveness are encouraged.
This session will explore the application of system dynamics principles in software engineering contexts. Contributions that analyze complex software systems through dynamic modeling are particularly welcome.
This track invites discussions on model-based testing techniques that enhance software verification processes. Papers that present empirical studies or innovative approaches to model-based testing are encouraged.
This session will focus on the application of discrete-event simulation in the software development lifecycle. Contributions that demonstrate the benefits and challenges of using discrete-event models in software projects are welcome.
This track examines the methodologies for software verification that leverage modeling techniques. Papers that present novel approaches to ensure software correctness through modeling are particularly encouraged.
This session will explore the use of executable models in software engineering practices. Contributions that highlight the advantages of executable modeling for improving software quality and efficiency are welcome.
This track focuses on the development and application of modeling languages in software engineering. Papers that discuss the design, implementation, and impact of various modeling languages are encouraged.