Title :
A rapid prototyping environment based on executable specifications
Author :
Ozcan, Mehmet Bulent ; Siddiqi, Jawed
Author_Institution :
Comput. Res. Centre, Sheffield Hallam Univ., UK
Abstract :
This paper describes a rapid software prototyping environment which executes formal specifications in which executable specifications and conventional implementations can be used interchangeably. Therefore, a prototype system can be transformed into a production quality system by incrementally replacing specifications with implementations so that the complete software system exists at each step, thus enabling both evolutionary software development and assistance in the discovery of errors. Also, the external behaviour of software systems can be described directly from the user´s point of view by means of scenarios generated based on executable specifications
Keywords :
formal specification; program debugging; programming environments; software prototyping; software quality; evolutionary software development; executable specifications; external behaviour; formal specifications; production quality system; prototype system; rapid prototyping environment; rapid software prototyping environment; software errors; user viewpoint; Application software; Buildings; Formal specifications; Production systems; Programming; Prototypes; Software prototyping; Software systems; Software testing; System testing;
Conference_Titel :
TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994
Print_ISBN :
0-7803-1862-5
DOI :
10.1109/TENCON.1994.369203
