14th IEEE International Workshop on Rapid System Prototyping (RSP'03) Rapid Prototyping and Incremental Evolution Using SLAM San Diego, California, USA June 09-June 11 ISBN: 0-7695-1943-1
The paper shows the outlines of the SLAM system, that allows for an effective use of Formal Methods (FM) in Rapid Application Development (RAD) and other prototyping processes. The SLAM system, includes an expressive object oriented specification language and a development environment that, among other features, is able to generate efficient and readable code in a high level object oriented language (Java, C++, ...). 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 generated code can be directly used and the other part can be optimised with the additional help of assertions automatically included.
Index Terms:
Rapid application development, prototyping, incremental development, formal methods.
Citation:
Angel Herranz, Juan Jos?e Moreno-Navarro, "Rapid Prototyping and Incremental Evolution Using SLAM," rsp, pp.201, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 2003 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb