A rapid prototyping environment based on executable specifications

Author

Ozcan, Mehmet Bulent ; Siddiqi, Jawed

Author_Institution

Comput. Res. Centre, Sheffield Hallam Univ., UK

fYear

1994

fDate

22-26 Aug 1994

Firstpage

790

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/TENCON.1994.369203

Filename

369203