Rapid Prototyping and Incremental Evolution Using SLAM

The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specification language that is designed for specifying-inthe-large by integrating algebraic specifications and modelbased specifications. Methods are defined by using rules each of them with logical pre- and post-conditions but with a functional flavour. The main novel feature of the system is that contains a development environment that, among other features, is able to generate (reasonable) efficient and readable code in a high level object oriented language (let us say Java). The generated code includes (part of) the pre- and postconditions as assertions, that can be automatically checked in the debug mode execution of programs. SLAM is able to generate prototypes that can be used to validate the requirements with the user. The additional advantage is that the prototype is not throw-away because most part of the...

• Type: Conference
• Year: 2003
• Where: RSP
• Authors: Ángel Herranz-Nieva, Juan José Moreno-Navarro
• Keywords: Generated Code, Object Oriented, Object Oriented Specification, Rapid System Prototyping, RSP 2003