research
∙
04/28/2022
Distributed Software Evolution: a Survey
Distribution can be a feature of the software evolution process. In othe...
share
research
∙
04/14/2022
Stateless and Rule-Based Verification For Compliance Checking Applications
Underlying computational model has an important role in any computation....
research
∙
04/10/2021
Assessing and Supplying the Health of Videos Games via Formal Semantics
Video games, just like any other media have both explicit and implicit m...
research
∙
03/20/2021
SELM: Software Engineering of Machine Learning Models
One of the pillars of any machine learning model is its concepts. Using ...
research
∙
03/12/2021
Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion
Resource allocation is crucial in the distributed systems. It is a key s...
research
∙
03/08/2021
Langar: An Approach to Evaluate Reo Programming Language
Reo is a formal coordination language. In order to assess and evaluate i...
research
∙
12/17/2020
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities
Smart Cities, with their problems and challenges, is an emerging smart p...
research
∙
07/11/2020