8 citations · 16 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Inter-instance Data Impacts in Business Processes: A Model-based Analysis
Yotam Evron, Arava Tsoury, Anna Zamansky +2
A business process model represents the expected behavior of a set of process instances (cases). The process instances may be executed in parallel and may affect each other through…
cs.SE2018
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…