Downloads provided by UsageCounts
This archive was prepared for the following study: John Lång and I.S.W.B. Prasetya. 2019. Model Checking a C++ Software Framework, a Case Study. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Soft- ware Engineering (ESEC/FSE '19), August 26–30, 2019, Tallinn, Estonia. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3338906.3340453
This is version 5.0.0 of the ALICE Data Point Processing Framework (ADAPRO), an open source (licensed under Apache 2.0) C++ software framework, originally developed at CERN. This archive contains the source code, example applications, tests, documentation, and the Promela and DIVINE models of ADAPRO.
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 43 | |
| downloads | 2 |

Views provided by UsageCounts
Downloads provided by UsageCounts