APSEC 2025
Tue 2 - Fri 5 December 2025
Macao, China
Toggle navigation
Attending
Venue: Wynn Palace
Registration
Transportation
Accommodation
Traval Grant
Tracks
APSEC 2025
Keynotes
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Organization
APSEC 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Contributors
People Index
Search
Series
Series
APSEC 2025
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2025
(
series
) /
Early Research Achievements (ERA)
/
Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy
Who
Yihui Guo
,
Shmuel Tyszberowicz
,
Zhiming Liu
,
Bo Liu
Track
APSEC 2025 Early Research Achievements (ERA)
Yihui Guo
Southwest University
Shmuel Tyszberowicz
Zhiming Liu
Southwest University
Bo Liu
Southwest University
China
x
Sun 26 Oct 22:20
