Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges
No abstract available.
DOI 10.1007/3-540-45789-5_2
Related papers
- Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges OOPSLA 2010
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP 2018
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems VMCAI 2022
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) ECOOP 2019
- Pono: A Flexible and Extensible SMT-Based Model Checker CAV 2021
- Oz/K: a kernel language for component-based open programming GPCE 2007