"SmartEiffel"@cs .