Second Generation Object-Oriented Development

AbstractWell-integrated development tools, allowing automatic code generation from visual representations of analysis and design decisions, are important assets in handling the complexities of todays software. This paper describes a few features of a method independent, object-oriented development tool, essentially consisting of a users plane, where visual system construction takes place, a formal plane, where user actions are verified, and underlying platforms, providing user-formal mappings. The paper concentrates on the users plane, addressing aspects of static and dynamic system views