The extended app for windows can be downloaded here: http://www.ifcquery.com/
in the regard of attribut widget fullack
Since you are based in Geneva (like me in Switzerland ), where and who do you teach?
Since I do not know anything about Mono it is a very value information.
I answered in a PM