Rapid Prototyping and Incremental Evolution Using SLAM

10 years 8 months ago
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...
Ángel Herranz-Nieva, Juan José Moren
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where RSP
Authors Ángel Herranz-Nieva, Juan José Moreno-Navarro
Comments (0)