Integrated development environment for Direct Abstraction language