Explicit Modelling of Physical Measures: From Event-B to Java.
J. Paul GibsonDominique MéryPublished in: IMPEX/FM&MDD (2017)
Keyphrases
- event detection
- source code
- open source
- java programs
- database applications
- programming language
- databases
- quantitative measures
- development environment
- evaluation measures
- web services
- real world
- database
- virtual environment
- object oriented
- information retrieval
- evaluation metrics
- physical world
- event driven
- neural network