A formal specification language for domain specific software development

This paper introduces a formal specification language FIRST (Formal and Incremental Requirement Specification Technique) that supports prototyped software development process. The requirement specification of a system can be specified in such a way that the sequence of the timings of the operations can be implicitly expressed and for certain domains the specification can also be directly executed. The software can be incrementally designed i.e. at any stage a small portion of the software is specified and then incrementation is done over existing model. Consistency with the earlier model is also checked when incrementations are done.