4 citations · 7 across the 4 of their papers we have counts for
4 papers
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss +1
We present Provengo, a comprehensive suite of tools designed to facilitate the implementation of Scenario-Driven Model-Based Testing (SDMBT), an innovative approach that utilizes s…
Computer Assisted Access to Justice via Formal Jurisprudence Modeling
Michael Bar-Sinai, Michal Tadjer, Mor Vilozni
This paper discusses an internet-based system for enabling people to self-assess their legal rights in a given situation, and a development methodology for such systems. The assess…
BPjs --- a framework for modeling reactive systems using a scripting language and BP
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work do…
Big Data Technology Literature Review
Michael Bar-Sinai
A short overview of various algorithms and technologies that are helpful for big data storage and manipulation. Includes pointers to papers for further reading, and, where applicab…