Version 0.9.0 of DEMOS has been released. DEMOS is a free Eclipse-based tool for declarative executable modeling. Added features in this release are query properties with parameters, which allow simplified function reuse, an improved ability to reuse methods from existing Java classes, and other bug fixes and general improvements.