Using Model Checking to Validate StyleSpecific Architectural Refactoring Patterns - PowerPoint PPT Presentation

1 / 36
} ?>
View by Category
About This Presentation
Title:

Using Model Checking to Validate StyleSpecific Architectural Refactoring Patterns

Description:

shared.odsstate = Ret : next(shared.odsstate) = Tx; ... shared.astate = W & shared.idpstate = W & shared.astate = W : next(shared.idpstate) = Ret; ... – PowerPoint PPT presentation

Number of Views:51
Avg rating:3.0/5.0
Slides: 37
Provided by: Zoe95
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com